| 2024-09-29 00:00:44 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-29 00:01:34 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-29 00:06:28 +0000 | dlock23 | (~dlock23@160.red-81-40-78.staticip.rima-tde.net) (Leaving) |
| 2024-09-29 00:12:20 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 00:13:26 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-29 00:17:44 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-29 00:18:59 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-29 00:28:09 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 00:32:57 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-29 00:32:59 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-29 00:37:56 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2024-09-29 00:43:28 +0000 | troojg | (~troojg@user/troojg) troojg |
| 2024-09-29 00:43:56 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 00:46:06 +0000 | alp | (~alp@user/alp) (Remote host closed the connection) |
| 2024-09-29 00:48:52 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-29 00:53:29 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 00:56:30 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-29 00:56:53 +0000 | <Inst> | hum, so this zipper-based conway isn't that bad |
| 2024-09-29 00:57:18 +0000 | troojg | (~troojg@user/troojg) (Ping timeout: 276 seconds) |
| 2024-09-29 00:59:16 +0000 | <Inst> | now, instead of having to predefine the data size, i can just select a section from the zippers (that use streams in lieu of lists) and laziness takes care of the rest |
| 2024-09-29 01:02:39 +0000 | Inst | (~Inst@user/Inst) (Remote host closed the connection) |
| 2024-09-29 01:02:42 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-29 01:03:04 +0000 | Inst | (~Inst@user/Inst) Inst |
| 2024-09-29 01:03:36 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-09-29 01:04:38 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-29 01:05:11 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-29 01:05:25 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-09-29 01:10:47 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2024-09-29 01:13:48 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 01:18:34 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-29 01:25:06 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-29 01:28:28 +0000 | Patrickfield | (~Patrickfi@net-2-36-176-102.cust.vodafonedsl.it) |
| 2024-09-29 01:29:34 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-29 01:29:36 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 01:31:06 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-09-29 01:31:41 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-29 01:32:59 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-09-29 01:33:28 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-09-29 01:34:38 +0000 | spew | (~spew@201.141.99.170) spew |
| 2024-09-29 01:34:45 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-29 01:35:16 +0000 | Patrickfield | (~Patrickfi@net-2-36-176-102.cust.vodafonedsl.it) (Remote host closed the connection) |
| 2024-09-29 01:36:21 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-29 01:40:59 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-29 01:49:24 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-29 01:54:53 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-09-29 01:57:34 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 02:04:46 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-29 02:05:01 +0000 | op_4 | (~tslil@2a01:4f8:c0c:7952::1) (Remote host closed the connection) |
| 2024-09-29 02:05:30 +0000 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2024-09-29 02:08:16 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-29 02:16:24 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 02:21:15 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-29 02:21:38 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-09-29 02:25:39 +0000 | cyphase | (~cyphase@user/cyphase) (Quit: cyphase.com) |
| 2024-09-29 02:25:56 +0000 | identity | (~identity@user/ZharMeny) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 2024-09-29 02:26:06 +0000 | <probie> | Zipper-based involves a huge amount of memory allocation, which is not free |
| 2024-09-29 02:27:13 +0000 | <probie> | Unless you need an ever expanding universe, or want to watch things one iteration at a time, just go with hashlife |
| 2024-09-29 02:30:02 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2024-09-29 02:32:10 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 02:33:08 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2024-09-29 02:34:20 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-29 02:36:29 +0000 | td_ | (~td@83.135.9.0) (Ping timeout: 260 seconds) |
| 2024-09-29 02:37:11 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-29 02:38:14 +0000 | td_ | (~td@i53870906.versanet.de) |
| 2024-09-29 02:45:28 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-29 02:47:56 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 02:52:53 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-29 02:55:37 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-09-29 02:56:56 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-29 03:01:44 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-29 03:02:03 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) athan |
| 2024-09-29 03:03:44 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 03:08:34 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-29 03:08:50 +0000 | spew | (~spew@201.141.99.170) (Read error: Connection reset by peer) |
| 2024-09-29 03:16:04 +0000 | xdminsy | (~xdminsy@117.147.70.99) xdminsy |
| 2024-09-29 03:17:09 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2024-09-29 03:17:49 +0000 | vglfr | (~vglfr@2601:14d:4701:3b30:33ba:719b:bbc5:4e3a) vglfr |
| 2024-09-29 03:18:35 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-09-29 03:19:32 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 03:24:22 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-09-29 03:25:16 +0000 | xdminsy | (~xdminsy@117.147.70.99) (Ping timeout: 265 seconds) |
| 2024-09-29 03:29:45 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-29 03:34:11 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2024-09-29 03:35:19 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 03:40:12 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-29 03:41:31 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2024-09-29 03:41:56 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-09-29 03:47:45 +0000 | rvalue | (~rvalue@user/rvalue) (Changing host) |
| 2024-09-29 03:47:45 +0000 | rvalue | (~rvalue@user/lvalue) lvalue |
| 2024-09-29 03:50:06 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-29 03:50:21 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-09-29 03:51:06 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 03:54:21 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-29 03:56:10 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-29 03:56:41 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 265 seconds) |
| 2024-09-29 03:56:41 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-09-29 03:57:06 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 2024-09-29 03:57:39 +0000 | rvalue | (~rvalue@user/lvalue) (Changing host) |
| 2024-09-29 03:57:39 +0000 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-09-29 03:58:15 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-09-29 04:04:41 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-09-29 04:06:54 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 04:09:33 +0000 | iamsleepy | (~iamsleepy@117.242.59.149) iamsleepy |
| 2024-09-29 04:12:09 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-29 04:18:55 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 265 seconds) |
| 2024-09-29 04:20:23 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-09-29 04:21:15 +0000 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-09-29 04:22:39 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 04:24:18 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-29 04:26:39 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 265 seconds) |
| 2024-09-29 04:27:37 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-29 04:29:04 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-09-29 04:33:37 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-09-29 04:38:28 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 04:43:33 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-29 04:46:58 +0000 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-09-29 04:49:31 +0000 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-09-29 04:52:37 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
| 2024-09-29 04:54:13 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-29 04:54:14 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 04:58:34 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-29 04:59:44 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-09-29 04:59:45 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-29 05:05:54 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2024-09-29 05:07:38 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-09-29 05:10:01 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 05:12:13 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-29 05:14:01 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 265 seconds) |
| 2024-09-29 05:14:56 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-09-29 05:15:33 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-09-29 05:19:35 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2024-09-29 05:25:09 +0000 | troojg | (~troojg@user/troojg) troojg |
| 2024-09-29 05:25:49 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 05:30:49 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-29 05:33:36 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-29 05:38:32 +0000 | iamsleepy | (~iamsleepy@117.242.59.149) (Ping timeout: 255 seconds) |
| 2024-09-29 05:39:01 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-29 05:40:43 +0000 | iamsleepy | (~iamsleepy@117.242.59.149) iamsleepy |
| 2024-09-29 05:41:36 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 05:46:29 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-29 05:51:07 +0000 | vincent42 | (uid574193@id-574193.hampstead.irccloud.com) |
| 2024-09-29 05:51:15 +0000 | vincent42 | (uid574193@id-574193.hampstead.irccloud.com) (Changing host) |
| 2024-09-29 05:51:15 +0000 | vincent42 | (uid574193@user/vincent42) vincent42 |
| 2024-09-29 05:53:34 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 05:58:20 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-29 06:04:16 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-09-29 06:08:29 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-29 06:09:19 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 06:14:14 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-29 06:17:20 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-29 06:24:22 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 252 seconds) |
| 2024-09-29 06:27:11 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-29 06:27:45 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 06:31:42 +0000 | troojg | (~troojg@user/troojg) (Ping timeout: 246 seconds) |
| 2024-09-29 06:32:48 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-29 06:37:08 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-09-29 06:39:05 +0000 | petrichor | (~znc-user@user/petrichor) (Ping timeout: 265 seconds) |
| 2024-09-29 06:43:33 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 06:44:52 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-29 06:49:04 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-29 06:49:43 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-09-29 06:58:47 +0000 | xff0x | (~xff0x@2405:6580:b080:900:9334:d416:507d:a2f5) (Ping timeout: 244 seconds) |
| 2024-09-29 06:59:21 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 07:00:01 +0000 | tt123109783243 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: The Lounge - https://thelounge.chat) |
| 2024-09-29 07:00:02 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-09-29 07:00:40 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2024-09-29 07:02:28 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-29 07:03:25 +0000 | tt123109783243 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) tt1231 |
| 2024-09-29 07:04:29 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-29 07:07:01 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-29 07:07:46 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-29 07:14:08 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-09-29 07:14:51 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2024-09-29 07:14:52 +0000 | ljdarj1 | ljdarj |
| 2024-09-29 07:15:08 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 07:20:26 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-29 07:20:48 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-29 07:21:52 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-29 07:24:51 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-29 07:30:14 +0000 | xff0x | (~xff0x@2405:6580:b080:900:2db7:1968:c949:1e07) |
| 2024-09-29 07:30:55 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 07:35:51 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-29 07:40:14 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-29 07:41:50 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2024-09-29 07:44:17 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-09-29 07:45:17 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2024-09-29 07:46:42 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 07:52:00 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-29 07:54:33 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 07:59:48 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-29 08:03:23 +0000 | synchromesh | (~john@2406:5a00:241a:5600:988d:bee0:a971:b921) (Read error: Connection reset by peer) |
| 2024-09-29 08:04:48 +0000 | synchromesh | (~john@2406:5a00:241a:5600:e176:3a40:8bde:547a) synchromesh |
| 2024-09-29 08:10:19 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 08:15:21 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-29 08:18:10 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-29 08:19:08 +0000 | acidjnk | (~acidjnk@p200300d6e72cfb46757e16ffb08be72b.dip0.t-ipconnect.de) acidjnk |
| 2024-09-29 08:20:04 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-29 08:29:01 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 08:31:09 +0000 | mzg | (mzg@abusers.hu) (Quit: brb) |
| 2024-09-29 08:31:13 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-09-29 08:31:25 +0000 | ubert | (~Thunderbi@178.165.177.214.wireless.dyn.drei.com) ubert |
| 2024-09-29 08:33:03 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-29 08:34:14 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-29 08:34:57 +0000 | <apache2> | anyone here used some of the libraries for term rewriting, like compdata/compdata-automata? what were your experiences with things that worked / shortcomings? |
| 2024-09-29 08:37:28 +0000 | Typedfern | (~Typedfern@91.red-83-37-29.dynamicip.rima-tde.net) (Ping timeout: 245 seconds) |
| 2024-09-29 08:37:44 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-29 08:40:07 +0000 | ash3en | (~Thunderbi@146.70.124.222) ash3en |
| 2024-09-29 08:40:20 +0000 | ubert | (~Thunderbi@178.165.177.214.wireless.dyn.drei.com) (Ping timeout: 255 seconds) |
| 2024-09-29 08:40:26 +0000 | vincent42 | (uid574193@user/vincent42) (Quit: Connection closed for inactivity) |
| 2024-09-29 08:42:36 +0000 | ubert | (~Thunderbi@178.165.177.214.wireless.dyn.drei.com) ubert |
| 2024-09-29 08:44:48 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 08:52:58 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-29 08:55:36 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 09:00:42 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-29 09:02:24 +0000 | ubert | (~Thunderbi@178.165.177.214.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 2024-09-29 09:06:27 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 09:06:34 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-09-29 09:07:49 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-29 09:09:12 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
| 2024-09-29 09:09:13 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-09-29 09:11:49 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-29 09:13:57 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-29 09:14:46 +0000 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-09-29 09:17:35 +0000 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-09-29 09:19:52 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-09-29 09:22:14 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 09:23:39 +0000 | edwtjo | (~edwtjo@fsf/member/edwtjo) (Ping timeout: 276 seconds) |
| 2024-09-29 09:29:39 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-29 09:34:54 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-09-29 09:37:26 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2024-09-29 09:40:41 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 09:43:06 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-29 09:43:49 +0000 | edwtjo | (~edwtjo@fsf/member/edwtjo) edwtjo |
| 2024-09-29 09:45:26 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-09-29 09:45:39 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-29 09:49:31 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-09-29 09:56:28 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 09:59:45 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-29 10:01:21 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-29 10:04:45 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2024-09-29 10:06:40 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 272 seconds) |
| 2024-09-29 10:12:15 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 10:17:33 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-29 10:20:13 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-29 10:26:46 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-29 10:28:03 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 10:31:50 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-09-29 10:32:53 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-29 10:33:46 +0000 | edwtjo | (~edwtjo@fsf/member/edwtjo) (Quit: WeeChat 4.2.1) |
| 2024-09-29 10:43:50 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 10:44:20 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2024-09-29 10:44:54 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-29 10:46:58 +0000 | Typedfern | (~Typedfern@91.red-83-37-29.dynamicip.rima-tde.net) typedfern |
| 2024-09-29 10:47:17 +0000 | iamsleepy | (~iamsleepy@117.242.59.149) (Ping timeout: 248 seconds) |
| 2024-09-29 10:49:05 +0000 | iamsleepy | (~iamsleepy@117.252.51.83) iamsleepy |
| 2024-09-29 10:56:43 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-09-29 10:57:08 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-29 10:57:35 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 10:58:02 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-29 11:02:18 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-29 11:03:04 +0000 | mrmr155334346318 | (~mrmr@user/mrmr) (Quit: Bye, See ya later!) |
| 2024-09-29 11:03:45 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2024-09-29 11:03:57 +0000 | Typedfern | (~Typedfern@91.red-83-37-29.dynamicip.rima-tde.net) (Ping timeout: 265 seconds) |
| 2024-09-29 11:05:01 +0000 | ash3en1 | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-09-29 11:06:22 +0000 | ash3en | (~Thunderbi@146.70.124.222) (Ping timeout: 265 seconds) |
| 2024-09-29 11:06:23 +0000 | ash3en1 | ash3en |
| 2024-09-29 11:13:16 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 11:16:35 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-29 11:18:34 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-29 11:20:48 +0000 | petrichor | (~znc-user@user/petrichor) petrichor |
| 2024-09-29 11:22:19 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-09-29 11:22:48 +0000 | mrmr155334346318 | (~mrmr@user/mrmr) mrmr |
| 2024-09-29 11:22:48 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 265 seconds) |
| 2024-09-29 11:23:07 +0000 | ash3en | (~Thunderbi@146.70.124.222) ash3en |
| 2024-09-29 11:26:11 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 265 seconds) |
| 2024-09-29 11:28:30 +0000 | ubert | (~Thunderbi@178.165.177.214.wireless.dyn.drei.com) ubert |
| 2024-09-29 11:29:03 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 11:36:54 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-29 11:37:22 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-29 11:39:06 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-09-29 11:42:08 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-09-29 11:48:45 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 11:51:35 +0000 | identity | (~identity@user/ZharMeny) identity |
| 2024-09-29 11:55:11 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-09-29 11:55:29 +0000 | Digit | (~user@user/digit) (Ping timeout: 248 seconds) |
| 2024-09-29 11:58:02 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-29 11:58:34 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 12:02:01 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-29 12:03:31 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-29 12:04:28 +0000 | ash3en1 | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-09-29 12:04:51 +0000 | ash3en | (~Thunderbi@146.70.124.222) (Ping timeout: 265 seconds) |
| 2024-09-29 12:04:51 +0000 | ash3en1 | ash3en |
| 2024-09-29 12:11:44 +0000 | Inst | (~Inst@user/Inst) (Remote host closed the connection) |
| 2024-09-29 12:12:02 +0000 | Inst | (~Inst@user/Inst) Inst |
| 2024-09-29 12:14:09 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-29 12:14:16 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 12:17:46 +0000 | ubert | (~Thunderbi@178.165.177.214.wireless.dyn.drei.com) (Ping timeout: 272 seconds) |
| 2024-09-29 12:19:21 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-29 12:30:03 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 12:35:18 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-29 12:40:14 +0000 | Digitteknohippie | Digit |
| 2024-09-29 12:44:07 +0000 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Remote host closed the connection) |
| 2024-09-29 12:45:12 +0000 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) flukiluke |
| 2024-09-29 12:45:51 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 12:50:38 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-09-29 12:58:35 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-29 12:59:30 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 13:02:42 +0000 | dontdieych2 | (~a@user/dontdieych2) dontdieych2 |
| 2024-09-29 13:02:49 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2024-09-29 13:03:20 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 265 seconds) |
| 2024-09-29 13:04:44 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-29 13:05:16 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-09-29 13:14:46 +0000 | cns | (~Vengeance@2.219.56.221) (Ping timeout: 272 seconds) |
| 2024-09-29 13:15:17 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 13:16:49 +0000 | vapid | (~Vengeance@2.219.56.221) |
| 2024-09-29 13:17:02 +0000 | vapid | (~Vengeance@2.219.56.221) (Excess Flood) |
| 2024-09-29 13:17:36 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-09-29 13:17:52 +0000 | Vengeance | (~Vengeance@2.219.56.221) |
| 2024-09-29 13:20:09 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-29 13:20:24 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-29 13:24:42 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-29 13:25:06 +0000 | druchan | (uid567859@id-567859.lymington.irccloud.com) |
| 2024-09-29 13:25:52 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-09-29 13:26:10 +0000 | billchenchina- | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) billchenchina |
| 2024-09-29 13:27:19 +0000 | iamsleepy | (~iamsleepy@117.252.51.83) (Quit: WeeChat 4.4.2) |
| 2024-09-29 13:30:22 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-09-29 13:31:04 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 13:35:07 +0000 | <dontdieych2> | Building HLS on aarch64, Asahilinux apple M2. error log -> https://gist.github.com/dontdieych/ad02cd5b04c3ded4a2f0e73a165e4a05 |
| 2024-09-29 13:35:16 +0000 | <dontdieych2> | libHSterminfo-0.4.1.5-ghc9.4.8.so: error: undefined reference to 'del_curterm', version 'NCURSES6_TINFO_5.0.19991023 |
| 2024-09-29 13:35:42 +0000 | <dontdieych2> | looks like ncurses libtinfo cause problem. |
| 2024-09-29 13:35:56 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-29 13:36:04 +0000 | <dontdieych2> | anyone have clue about that? |
| 2024-09-29 13:36:15 +0000 | masterbuilder | (~quassel@user/masterbuilder) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-09-29 13:39:05 +0000 | <haskellbridge> | <magic_rb> Is your libtinfo present and functional? And of the correct architecture |
| 2024-09-29 13:39:13 +0000 | <dontdieych2> | output of `rpm -qa|rg ncurses` --> https://gist.github.com/dontdieych/ffb1bdbf0bebebf0e4d176eead37dd7b |
| 2024-09-29 13:39:45 +0000 | <dontdieych2> | ye looks like ok |
| 2024-09-29 13:39:45 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-29 13:39:49 +0000 | <geekosaur> | where did you get your ghc install from? did asahi package it? |
| 2024-09-29 13:39:59 +0000 | <dontdieych2> | no all of from ghcup |
| 2024-09-29 13:40:26 +0000 | <geekosaur> | uh? ghcup doesn't have anything for linux on m2, I'm pretty sure |
| 2024-09-29 13:40:41 +0000 | <dontdieych2> | ghcup's hls not working so I tried build manually by `ghcup compile hls` |
| 2024-09-29 13:41:21 +0000 | <dontdieych2> | It actually install hls but not working with vscode, neovim. spit out some libtinfo.so.6 error |
| 2024-09-29 13:41:40 +0000 | <haskellbridge> | <magic_rb> Output of "file /home/a/.ghcup/ghc/9.4.8/lib/ghc-9.4.8/bin/./ghc-9.4.8" and "file /lib64/libtinfo.so.6" |
| 2024-09-29 13:41:49 +0000 | <dontdieych2> | /lib64/libtinfo.so.6: no version information available <-- like that |
| 2024-09-29 13:41:56 +0000 | <dontdieych2> | wait sec |
| 2024-09-29 13:43:30 +0000 | <dontdieych2> | /home/a/.ghcup/ghc/9.4.8/lib/ghc-9.4.8/bin/./ghc-9.4.8: ELF 64-bit LSB executable, ARM aarch64, version 1 (SYSV), dynamically linked, interpreter /lib/ld-linux-aarch64.so.1, for GNU/Linux 3.7.0, BuildID[sha1]=a17309b5708a17c2180c92354d2c5d56183cb8b2, not stripped |
| 2024-09-29 13:43:32 +0000 | <dontdieych2> | /lib64/libtinfo.so.6: symbolic link to libtinfo.so.6.4 |
| 2024-09-29 13:43:52 +0000 | <dontdieych2> | tinfo version mismatch? |
| 2024-09-29 13:44:16 +0000 | <haskellbridge> | <magic_rb> "file /lib/libtinfo.so.6.4" usefully file doesnt deref symlinks by default |
| 2024-09-29 13:44:24 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 260 seconds) |
| 2024-09-29 13:44:37 +0000 | <haskellbridge> | <magic_rb> There must be smth weird about your "libtinfo", dont ask me what though |
| 2024-09-29 13:45:06 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-29 13:45:53 +0000 | <geekosaur> | the fact that it output a symbol version makes me think it found that symbol with a different version |
| 2024-09-29 13:46:30 +0000 | <haskellbridge> | <magic_rb> Oh right yeah i didnt notice that :( |
| 2024-09-29 13:46:50 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 13:46:53 +0000 | <haskellbridge> | <magic_rb> Why would it be expecting a different one, ah ghc is probably not compiled from source? |
| 2024-09-29 13:46:57 +0000 | <int-e> | file -L follows symlinks |
| 2024-09-29 13:46:59 +0000 | <geekosaur> | um, in fact I see the problem now |
| 2024-09-29 13:47:30 +0000 | <geekosaur> | NCURSES_TINFO_5.0.19991023 vs. libtinfo.so.6.4 |
| 2024-09-29 13:47:31 +0000 | <haskellbridge> | <magic_rb> int-e: good to know... i could have guessed given i know that find -L does |
| 2024-09-29 13:47:39 +0000 | <geekosaur> | ghc is linked against ncurses 5, not ncurses 6 |
| 2024-09-29 13:48:49 +0000 | <geekosaur> | (and there was a major compatibility break between 5.x and 6.x, in 6.x every internal type became opaque) |
| 2024-09-29 13:50:11 +0000 | <int-e> | so $distro dropped TINFO_5.0 support? My libtinfo.so.6.5 exports NCURSES6_TINFO_5.0.19991023 |
| 2024-09-29 13:50:49 +0000 | <geekosaur> | typically there's a backward compatibility package (well, two of them, binary/runtime and devel, and here we need the devel one) |
| 2024-09-29 13:51:55 +0000 | <geekosaur> | and yes, limited backward compatibility is a build-time option for ncurses |
| 2024-09-29 13:52:09 +0000 | <geekosaur> | (easier for terminfo than for curses itself) |
| 2024-09-29 13:52:09 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-29 13:54:44 +0000 | polyphem | (~rod@p3ee3f695.dip0.t-ipconnect.de) polyphem |
| 2024-09-29 13:55:16 +0000 | masterbuilder | (~quassel@user/masterbuilder) masterbuilder |
| 2024-09-29 13:56:04 +0000 | <dontdieych2> | install pkg info --> https://paste.tomsmeding.com/osASkuaF |
| 2024-09-29 13:56:37 +0000 | <dontdieych2> | ncurses-libs and ncurses-compat-libs both installed. BTW fedora 40 asahilinux |
| 2024-09-29 13:57:37 +0000 | <geekosaur> | which devel package(s)? |
| 2024-09-29 13:57:55 +0000 | <geekosaur> | (will provide libtinfo.so with no version suffix) |
| 2024-09-29 13:58:19 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-29 13:58:44 +0000 | <dontdieych2> | $ rpm -qa|rg ncurses |
| 2024-09-29 13:58:46 +0000 | <dontdieych2> | ncurses-base-6.4-12.20240127.fc40.noarch |
| 2024-09-29 13:58:48 +0000 | <dontdieych2> | ncurses-libs-6.4-12.20240127.fc40.aarch64 |
| 2024-09-29 13:58:50 +0000 | <dontdieych2> | ncurses-6.4-12.20240127.fc40.aarch64 |
| 2024-09-29 13:58:52 +0000 | <dontdieych2> | ncurses-term-6.4-12.20240127.fc40.noarch |
| 2024-09-29 13:58:54 +0000 | <dontdieych2> | ncurses-c++-libs-6.4-12.20240127.fc40.aarch64 |
| 2024-09-29 13:58:56 +0000 | <dontdieych2> | ncurses-devel-6.4-12.20240127.fc40.aarch64 |
| 2024-09-29 13:58:58 +0000 | <dontdieych2> | ncurses-static-6.4-12.20240127.fc40.aarch64 |
| 2024-09-29 13:59:00 +0000 | <dontdieych2> | ncurses-compat-libs-6.4-12.20240127.fc40.aarch64 |
| 2024-09-29 13:59:20 +0000 | <dontdieych2> | installed allof '^ncurse' pkgs. |
| 2024-09-29 14:00:30 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 14:00:40 +0000 | <dontdieych2> | not sure but if my memories correct hls worked with vscode + haskell extention at least once couple of days aga. |
| 2024-09-29 14:00:53 +0000 | <dontdieych2> | with ghcup's hls |
| 2024-09-29 14:02:45 +0000 | <dontdieych2> | backup ~/.ghcup, ~/.cabal then reinstall hls ground up. is it good idea? |
| 2024-09-29 14:03:26 +0000 | <dontdieych2> | gonna try, nothing to lose |
| 2024-09-29 14:03:46 +0000 | <int-e> | https://src.fedoraproject.org/rpms/ncurses/blob/rawhide/f/ncurses.spec hmm... does that mean there's a ncurses-compat-libs package with the 5.0 ABI? |
| 2024-09-29 14:05:00 +0000 | <dontdieych2> | int-e: ye installed it already |
| 2024-09-29 14:05:23 +0000 | <dontdieych2> | rpm -ql ncurses-compat-libs|rg tinfo |
| 2024-09-29 14:05:25 +0000 | <dontdieych2> | /usr/lib64/libtinfo.so.5 |
| 2024-09-29 14:05:27 +0000 | <dontdieych2> | /usr/lib64/libtinfo.so.5.9 |
| 2024-09-29 14:05:34 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-29 14:05:48 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-29 14:07:18 +0000 | <dontdieych2> | ll /lib64/libtinfo* |
| 2024-09-29 14:07:20 +0000 | <dontdieych2> | .rw-r--r--@ 357k root root 1 Feb 09:00 /lib64/libtinfo.a |
| 2024-09-29 14:07:22 +0000 | <dontdieych2> | lrwxrwxrwx@ - root root 1 Feb 09:00 /lib64/libtinfo.so -> libtinfo.so.6* |
| 2024-09-29 14:07:24 +0000 | <dontdieych2> | lrwxrwxrwx@ - root root 1 Feb 09:00 /lib64/libtinfo.so.5 -> libtinfo.so.5.9* |
| 2024-09-29 14:07:26 +0000 | <dontdieych2> | .rwxr-xr-x@ 334k root root 1 Feb 09:00 /lib64/libtinfo.so.5.9* |
| 2024-09-29 14:07:28 +0000 | <dontdieych2> | lrwxrwxrwx@ - root root 1 Feb 09:00 /lib64/libtinfo.so.6 -> libtinfo.so.6.4* |
| 2024-09-29 14:07:30 +0000 | <dontdieych2> | .rwxr-xr-x@ 335k root root 1 Feb 09:00 /lib64/libtinfo.so.6.4* |
| 2024-09-29 14:07:32 +0000 | <dontdieych2> | .rw-r--r--@ 448k root root 1 Feb 09:00 /lib64/libtinfo_g.a |
| 2024-09-29 14:08:02 +0000 | <dontdieych2> | so.. tinfo.so.5 is there but whatever reason ghc grab so.6? |
| 2024-09-29 14:08:06 +0000 | <geekosaur> | won't help with rebuilding it unless there's a libtinfo.so pointing to the 5.9 so and matching include files, though |
| 2024-09-29 14:08:54 +0000 | <dontdieych2> | manually `ln -sf` /lib64/libtinfo.so -> libtinfo.so.5 ? |
| 2024-09-29 14:09:05 +0000 | <geekosaur> | include files won't match |
| 2024-09-29 14:11:23 +0000 | <int-e> | dontdieych2: okay. sorry this is probably not helpful because apparently that ghc links against .6. I was mostly curious. |
| 2024-09-29 14:12:03 +0000 | <int-e> | . o O ( I /might/ consider LD_PRELOAD shenanigans depending on mood and phase of the moon ) |
| 2024-09-29 14:12:49 +0000 | <int-e> | (but I'd also expect to run into trouble with subprocesses that actually want .6) |
| 2024-09-29 14:15:21 +0000 | Vengeance_ | (~Vengeance@2.219.56.221) |
| 2024-09-29 14:16:16 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 14:16:44 +0000 | <dontdieych2> | started ` ghcup compile ghc -j 4 -v 9.4.8 -b 9.4.8` |
| 2024-09-29 14:16:57 +0000 | <dontdieych2> | hope to it works |
| 2024-09-29 14:17:22 +0000 | <dontdieych2> | -b 9.4.8 , is it right? (whatever, nothing to lose) |
| 2024-09-29 14:17:46 +0000 | Vengeance | (~Vengeance@2.219.56.221) (Ping timeout: 265 seconds) |
| 2024-09-29 14:18:29 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2024-09-29 14:18:36 +0000 | <dontdieych2> | bunch of warnings about libinfo |
| 2024-09-29 14:19:26 +0000 | <dontdieych2> | there must be some compiler flags for set manually to so.5 |
| 2024-09-29 14:21:02 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-29 14:22:23 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2024-09-29 14:27:01 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-09-29 14:30:44 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-29 14:32:02 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 14:33:34 +0000 | sp1ff | (~user@c-73-11-70-111.hsd1.wa.comcast.net) (Remote host closed the connection) |
| 2024-09-29 14:34:00 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2024-09-29 14:34:25 +0000 | misterfish | (~misterfis@178-85-89-58.dynamic.upc.nl) misterfish |
| 2024-09-29 14:36:03 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-29 14:37:06 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-29 14:39:42 +0000 | ultralan | (~warty@ipservice-092-217-187-046.092.217.pools.vodafone-ip.de) ultralan |
| 2024-09-29 14:39:58 +0000 | ultralan | (~warty@ipservice-092-217-187-046.092.217.pools.vodafone-ip.de) (Remote host closed the connection) |
| 2024-09-29 14:40:34 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 2024-09-29 14:42:05 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-09-29 14:47:49 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 14:49:18 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2024-09-29 14:49:40 +0000 | edwtjo | (~edwtjo@h-85-24-143-221.A213.priv.bahnhof.se) |
| 2024-09-29 14:49:40 +0000 | edwtjo | (~edwtjo@h-85-24-143-221.A213.priv.bahnhof.se) (Changing host) |
| 2024-09-29 14:49:40 +0000 | edwtjo | (~edwtjo@fsf/member/edwtjo) edwtjo |
| 2024-09-29 14:49:57 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 276 seconds) |
| 2024-09-29 14:53:03 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-29 15:01:17 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-09-29 15:01:28 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 15:06:14 +0000 | hiecaq` | (~hiecaq`@user/hiecaq) hiecaq |
| 2024-09-29 15:06:35 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-29 15:06:51 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2024-09-29 15:07:56 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-29 15:16:24 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2024-09-29 15:17:16 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 15:22:27 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-29 15:24:23 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-29 15:30:37 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-09-29 15:33:03 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 15:33:21 +0000 | druchan | (uid567859@id-567859.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-29 15:35:35 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2024-09-29 15:35:35 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2024-09-29 15:35:35 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2024-09-29 15:35:49 +0000 | sp1ff | (~user@c-73-11-70-111.hsd1.wa.comcast.net) sp1ff |
| 2024-09-29 15:36:07 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-29 15:38:01 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-29 15:41:05 +0000 | tedbjurlin | (tedbjurlin@user/tedbjurlin) tedbjurlin |
| 2024-09-29 15:41:06 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2024-09-29 15:44:52 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-09-29 15:45:52 +0000 | pabs3 | (~pabs3@user/pabs3) (Remote host closed the connection) |
| 2024-09-29 15:47:42 +0000 | tedbjurlin | (tedbjurlin@user/tedbjurlin) (Remote host closed the connection) |
| 2024-09-29 15:48:41 +0000 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2024-09-29 15:48:49 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 15:51:43 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-09-29 15:53:57 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-29 15:54:53 +0000 | benjaminl | (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
| 2024-09-29 15:55:05 +0000 | <raehik> | If I have a big bit twiddle of `a .|. 0b0001 .|. b .|. 0b1001`, is GHC smart enough to combine the constants into `a .|. b .|. 0b1001`? |
| 2024-09-29 15:55:09 +0000 | benjaminl | (~benjaminl@user/benjaminl) benjaminl |
| 2024-09-29 15:56:27 +0000 | <raehik> | Ack. Wasn't there a GHC/Haskell playground that lets you view Core, advertised the other day? |
| 2024-09-29 15:56:35 +0000 | <raehik> | I could answer it myself if I had that |
| 2024-09-29 15:57:18 +0000 | <raehik> | google found it immediately :) https://play.haskell.org/ |
| 2024-09-29 15:58:12 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2024-09-29 15:59:07 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-09-29 15:59:45 +0000 | misterfish | (~misterfis@178-85-89-58.dynamic.upc.nl) (Ping timeout: 265 seconds) |
| 2024-09-29 16:01:10 +0000 | druchan | (uid567859@id-567859.lymington.irccloud.com) |
| 2024-09-29 16:04:37 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 16:06:12 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-29 16:07:52 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2024-09-29 16:07:54 +0000 | <raehik> | Hm. No, GHC wasn't able to combine those. That's a shame. https://play.haskell.org/saved/VfZw28Kb |
| 2024-09-29 16:09:25 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-29 16:09:34 +0000 | <raehik> | Bleh, it is an association issue. Putting the constants next to each other has GHC combine them as expected. |
| 2024-09-29 16:10:02 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-09-29 16:10:47 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2024-09-29 16:11:14 +0000 | <raehik> | (Oops, please read my original example as having constants 0b0001, 0b1000) |
| 2024-09-29 16:12:51 +0000 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-09-29 16:15:21 +0000 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-09-29 16:16:05 +0000 | <raehik> | Wait, no! The Core leaves the constants separate, but the ASM has them combined. Cool! |
| 2024-09-29 16:16:21 +0000 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-09-29 16:20:24 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 16:21:41 +0000 | synchromesh | (~john@2406:5a00:241a:5600:e176:3a40:8bde:547a) (Read error: Connection reset by peer) |
| 2024-09-29 16:21:43 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-09-29 16:22:26 +0000 | synchromesh | (~john@2406:5a00:241a:5600:e176:3a40:8bde:547a) synchromesh |
| 2024-09-29 16:24:24 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2024-09-29 16:25:24 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-29 16:26:20 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 265 seconds) |
| 2024-09-29 16:26:52 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-09-29 16:27:38 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-09-29 16:29:15 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-09-29 16:29:44 +0000 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-09-29 16:33:25 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-29 16:36:11 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 16:39:31 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-09-29 16:41:45 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-29 16:42:58 +0000 | petrichor | (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-09-29 16:44:15 +0000 | Typedfern | (~Typedfern@2a02:9130:9c34:14e4:39d6:bc4:e6bf:df64) |
| 2024-09-29 16:46:29 +0000 | petrichor | (~znc-user@user/petrichor) petrichor |
| 2024-09-29 16:51:22 +0000 | petrichor | (~znc-user@user/petrichor) (Ping timeout: 272 seconds) |
| 2024-09-29 16:51:58 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 16:51:59 +0000 | petrichor | (~znc-user@user/petrichor) petrichor |
| 2024-09-29 16:56:08 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2024-09-29 16:57:16 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-29 16:57:57 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-09-29 16:59:20 +0000 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-09-29 17:01:00 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-09-29 17:06:34 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 272 seconds) |
| 2024-09-29 17:07:46 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 17:08:21 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-09-29 17:10:27 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-09-29 17:12:38 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-29 17:12:44 +0000 | Typedfern | (~Typedfern@2a02:9130:9c34:14e4:39d6:bc4:e6bf:df64) (Ping timeout: 265 seconds) |
| 2024-09-29 17:13:19 +0000 | tabemann | (~tabemann@2600:1700:7990:24e0:6f50:e541:8e31:d123) (Remote host closed the connection) |
| 2024-09-29 17:13:37 +0000 | tabemann | (~tabemann@2600:1700:7990:24e0:bc5d:8bdb:179f:73b1) |
| 2024-09-29 17:17:45 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 2024-09-29 17:19:28 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 17:19:29 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-09-29 17:21:58 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-29 17:23:41 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 260 seconds) |
| 2024-09-29 17:24:21 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-29 17:25:46 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2024-09-29 17:29:55 +0000 | michalz | (~michalz@185.246.207.221) |
| 2024-09-29 17:31:41 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2024-09-29 17:35:14 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 17:35:23 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-09-29 17:38:37 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-09-29 17:38:41 +0000 | Typedfern | (~Typedfern@2a02:9130:9c34:14e4:610d:93b4:7c84:219b) typedfern |
| 2024-09-29 17:40:17 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-29 17:43:12 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-09-29 17:45:35 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-29 17:46:43 +0000 | deepfire | (~user@80.92.100.69) |
| 2024-09-29 17:48:30 +0000 | Typedfern | (~Typedfern@2a02:9130:9c34:14e4:610d:93b4:7c84:219b) (Ping timeout: 265 seconds) |
| 2024-09-29 17:51:02 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 17:55:47 +0000 | <deepfire> | Is this the best place to ask haskell.nix questions, or is there a better channel (.e.g #nixos)? |
| 2024-09-29 17:56:14 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-29 17:59:41 +0000 | <Rembane> | deepfire: Try here and see what happens, otherwise some nix channel is better |
| 2024-09-29 18:00:20 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 18:01:20 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-09-29 18:04:11 +0000 | <raehik> | deepfire: The Nix Haskell Matrix room is great for such questions |
| 2024-09-29 18:04:26 +0000 | <raehik> | https://matrix.to/#/#haskell:nixos.org |
| 2024-09-29 18:04:52 +0000 | <deepfire> | ooh browser.. but thank you raehik! :-) |
| 2024-09-29 18:05:17 +0000 | <geekosaur> | there are non-browser clients, although by default it'll probably suggest app.element.io |
| 2024-09-29 18:05:25 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-29 18:05:28 +0000 | <geekosaur> | (I use Nheko via flatpak) |
| 2024-09-29 18:06:48 +0000 | <mauke> | the problem with matrix is that it has no good clients |
| 2024-09-29 18:07:20 +0000 | <geekosaur> | you haven't seen the trainwreck that's the server side, I take it 😛 |
| 2024-09-29 18:07:30 +0000 | <mauke> | :-( |
| 2024-09-29 18:07:59 +0000 | <geekosaur> | recent releases of synapse have been scrambling room state on a regular basis |
| 2024-09-29 18:08:44 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-09-29 18:08:49 +0000 | Typedfern | (~Typedfern@255.red-81-47-23.dynamicip.rima-tde.net) typedfern |
| 2024-09-29 18:14:48 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-29 18:16:04 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 18:19:42 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-09-29 18:20:10 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2024-09-29 18:20:29 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2024-09-29 18:21:18 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-29 18:23:22 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-09-29 18:25:22 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-09-29 18:31:51 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 18:36:33 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-29 18:38:00 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 18:40:09 +0000 | billchenchina- | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Remote host closed the connection) |
| 2024-09-29 18:42:24 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-09-29 18:43:05 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2024-09-29 18:43:07 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2024-09-29 18:43:08 +0000 | ljdarj1 | ljdarj |
| 2024-09-29 18:43:14 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-29 18:43:20 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 255 seconds) |
| 2024-09-29 18:43:37 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-09-29 18:45:15 +0000 | Typedfern | (~Typedfern@255.red-81-47-23.dynamicip.rima-tde.net) (Ping timeout: 276 seconds) |
| 2024-09-29 18:49:39 +0000 | <haskellbridge> | <sm> Element on mac is good for me (and Element X on ios is fine) |
| 2024-09-29 18:50:59 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2024-09-29 18:51:02 +0000 | <geekosaur> | I'm getting lots of weirdshit on the web version in firefox (but not chrome for some reason) |
| 2024-09-29 18:51:21 +0000 | <geekosaur> | like none of the UI strings are being looked up and translated |
| 2024-09-29 18:52:21 +0000 | <geekosaur> | "timeline|summary|format" for joins/parts, etc. |
| 2024-09-29 18:52:24 +0000 | <haskellbridge> | <sm> plenty of changes at https://github.com/element-hq/synapse/releases I see |
| 2024-09-29 18:52:42 +0000 | <haskellbridge> | <sm> I do feel like matrix.org got faster yesterday |
| 2024-09-29 18:53:16 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2024-09-29 18:53:42 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 18:53:53 +0000 | <mauke> | Element X (Android) is still slow to sync and it keeps showing my (days old) messages at the bottom of the room, no matter what |
| 2024-09-29 18:54:14 +0000 | <mauke> | so I effectively have a non-contiguous message timeline |
| 2024-09-29 18:54:21 +0000 | <haskellbridge> | <sm> ah, that sucks. Clearing cache in settings didn't help yet ? |
| 2024-09-29 18:54:30 +0000 | <haskellbridge> | <sm> I've heard posting a new message can help |
| 2024-09-29 18:54:44 +0000 | <mauke> | how do you even create a bug like that? |
| 2024-09-29 18:55:22 +0000 | <mauke> | I mean, it's showing the right timestamp of when I sent the message, it's just not sorted properly in the history |
| 2024-09-29 18:55:31 +0000 | <haskellbridge> | <sm> well... think about how much distributed state this is... and the logic complexities |
| 2024-09-29 18:56:02 +0000 | <mauke> | sortBy (comparing timestamp) |
| 2024-09-29 18:56:10 +0000 | <haskellbridge> | <sm> I hear you :) |
| 2024-09-29 18:57:07 +0000 | <haskellbridge> | <sm> which timestamp |
| 2024-09-29 18:57:35 +0000 | <mauke> | I assume each message has an associated timestamp |
| 2024-09-29 18:57:45 +0000 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-29 18:58:15 +0000 | <haskellbridge> | <sm> I'm guessing there's quite a lot of timestamps flowing around |
| 2024-09-29 18:58:20 +0000 | <geekosaur> | "origin_server_ts" |
| 2024-09-29 18:58:38 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-29 18:58:55 +0000 | <haskellbridge> | <sm> and which of them do you trust |
| 2024-09-29 18:58:57 +0000 | <monochrom> | Stupid bugs are not worth defending. |
| 2024-09-29 18:59:32 +0000 | <mauke> | the one it uses to render the message timestamp |
| 2024-09-29 18:59:41 +0000 | Typedfern | (~Typedfern@2a02:9130:9c34:14e4:a221:40a0:af5b:f354) typedfern |
| 2024-09-29 18:59:48 +0000 | alp | (~alp@2001:861:e3d6:8f80:9956:3934:6a0b:7b98) |
| 2024-09-29 18:59:48 +0000 | <geekosaur> | sm, timestamps are going to screw you no matter what ("falsehoods programmers believe about time" etc.) |
| 2024-09-29 18:59:58 +0000 | <haskellbridge> | <sm> it might be stupid, I won't defend it any more, but I bet it's a bit harder than it looks |
| 2024-09-29 18:59:58 +0000 | alp | (~alp@2001:861:e3d6:8f80:9956:3934:6a0b:7b98) (Changing host) |
| 2024-09-29 18:59:58 +0000 | alp | (~alp@user/alp) alp |
| 2024-09-29 18:59:59 +0000 | <geekosaur> | origin server timestamp is about as good as you're going to do |
| 2024-09-29 19:00:02 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-09-29 19:00:08 +0000 | <mauke> | which is 2024-09-25 20:25, but it shows after messages on 2024-09-28 |
| 2024-09-29 19:00:09 +0000 | <monochrom> | Also, stupid bugs are plentiful. |
| 2024-09-29 19:00:18 +0000 | <mauke> | this is purely a frontend/rendering bug |
| 2024-09-29 19:00:30 +0000 | <mauke> | if it can display a timestamp on each message, it can sort by that timestamp |
| 2024-09-29 19:00:40 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2024-09-29 19:01:01 +0000 | <haskellbridge> | <sm> also they are overloaded/underfunded, so things have to wait |
| 2024-09-29 19:01:01 +0000 | <geekosaur> | definitely is, I had that bug in some rooms on regular Element for Android but not Element Web or Nheko |
| 2024-09-29 19:01:28 +0000 | <geekosaur> | still have no clue why or why it resolved itself eventually |
| 2024-09-29 19:01:48 +0000 | <mauke> | sm: I don't see anything about caching in settings |
| 2024-09-29 19:01:54 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2024-09-29 19:02:21 +0000 | <mauke> | hah, "Deactivate account" isn't localized |
| 2024-09-29 19:02:22 +0000 | <monochrom> | My sister just had a coworker making 2nd-year student mistakes. There is a "char buf[N]" holding a nul-terminated string. It is to be passed to a function that doesn't use the nul-terminated convention, instead the (addr, len) convention. The coworker, like my 2nd-year naive students, wrote "f(buf, sizeof(buf))". |
| 2024-09-29 19:02:22 +0000 | <geekosaur> | X apparentlyy has some ugly hacl |
| 2024-09-29 19:02:25 +0000 | <haskellbridge> | <sm> mauke: it's hidden in Help & About probably |
| 2024-09-29 19:02:54 +0000 | <monochrom> | You don't need complexity for stupid bugs. You just need stupidity. Which is pervasive. |
| 2024-09-29 19:03:16 +0000 | <mauke> | there is no Help; About is just a bunch of web links |
| 2024-09-29 19:03:25 +0000 | <haskellbridge> | <sm> I don't know why they don't put you in charge monochrom , we'd get this mess straightened out :) |
| 2024-09-29 19:03:43 +0000 | vglfr | (~vglfr@2601:14d:4701:3b30:33ba:719b:bbc5:4e3a) (Ping timeout: 252 seconds) |
| 2024-09-29 19:03:51 +0000 | vglfr | (~vglfr@2607:fb91:82c:97cb:ac39:6af1:e36b:6d36) vglfr |
| 2024-09-29 19:03:58 +0000 | <haskellbridge> | <sm> mauke: I don't know element android at all, but every version of element I've used has a Clear Cache somewhere in settings |
| 2024-09-29 19:04:40 +0000 | <haskellbridge> | <sm> oh I remember In EX on IOS, in settings, you tap the version string 7 times to unlock a hidden dev settings. :-) |
| 2024-09-29 19:05:08 +0000 | <haskellbridge> | <sm> Be careful of the trap! tapping 8 or 9 times risks deactivating account 🤣 |
| 2024-09-29 19:07:11 +0000 | <haskellbridge> | <mauke> Ah, that did the trick |
| 2024-09-29 19:07:49 +0000 | <mauke> | very bizarre |
| 2024-09-29 19:09:29 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 19:09:58 +0000 | td_ | (~td@i53870906.versanet.de) (Ping timeout: 252 seconds) |
| 2024-09-29 19:10:09 +0000 | vglfr | (~vglfr@2607:fb91:82c:97cb:ac39:6af1:e36b:6d36) (Ping timeout: 246 seconds) |
| 2024-09-29 19:10:40 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 265 seconds) |
| 2024-09-29 19:11:06 +0000 | vglfr | (~vglfr@2607:fb91:871:453a:ac39:c391:b245:38fc) vglfr |
| 2024-09-29 19:11:41 +0000 | td_ | (~td@i53870935.versanet.de) td_ |
| 2024-09-29 19:13:56 +0000 | <deepfire> | ..all this makes me wonder, why do people willingly suffer Matrix.. |
| 2024-09-29 19:14:29 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-29 19:14:52 +0000 | <deepfire> | like it's some sort of golden land of opportunity and adventure |
| 2024-09-29 19:15:03 +0000 | <haskellbridge> | <sm> what do you use ? |
| 2024-09-29 19:15:26 +0000 | <haskellbridge> | <sm> yes, it kind of is that |
| 2024-09-29 19:16:03 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-09-29 19:25:04 +0000 | vglfr | (~vglfr@2607:fb91:871:453a:ac39:c391:b245:38fc) (Ping timeout: 260 seconds) |
| 2024-09-29 19:25:16 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 19:25:39 +0000 | vglfr | (~vglfr@2607:fb91:89c:d5ab:ad3:f757:e3f3:d131) vglfr |
| 2024-09-29 19:26:00 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-29 19:28:27 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2024-09-29 19:29:28 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-29 19:30:06 +0000 | alp | (~alp@user/alp) (Remote host closed the connection) |
| 2024-09-29 19:30:45 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-29 19:31:04 +0000 | xal | (~xal@mx1.xal.systems) (Quit: bye) |
| 2024-09-29 19:31:13 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2024-09-29 19:31:33 +0000 | xal | (~xal@mx1.xal.systems) xal |
| 2024-09-29 19:32:52 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2024-09-29 19:33:04 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 2024-09-29 19:43:14 +0000 | <monochrom> | I would think that IRC is what takes willing suffering. :) |
| 2024-09-29 19:48:38 +0000 | <geekosaur> | people suffer matrix because it has most of the features of slack or discord but is open source and open spec |
| 2024-09-29 19:50:01 +0000 | vglfr | (~vglfr@2607:fb91:89c:d5ab:ad3:f757:e3f3:d131) (Read error: Connection reset by peer) |
| 2024-09-29 19:50:21 +0000 | vglfr | (~vglfr@2601:14d:4701:3b30:1fe4:7d96:24fc:3638) vglfr |
| 2024-09-29 19:50:37 +0000 | <TMA> | I have heard of some mythical IRC future version that is better than everything combined but that suffers one fatal flaw: nobody uses it. I have not checked if it really exists though |
| 2024-09-29 19:50:55 +0000 | <darkling> | If a tree falls in the forest, etc... |
| 2024-09-29 19:51:03 +0000 | <geekosaur> | that sounds like an incorrect understanding of IRCv3 |
| 2024-09-29 19:51:28 +0000 | <geekosaur> | it has the extensibility needed to support these features, but nobody has actually implemented any of them |
| 2024-09-29 19:51:35 +0000 | <geekosaur> | in either server or clients |
| 2024-09-29 19:51:42 +0000 | <TMA> | yes, that might be the name. |
| 2024-09-29 19:51:54 +0000 | <geekosaur> | (the server we're on supports IRCv3) |
| 2024-09-29 19:53:28 +0000 | <Rembane> | I think Weechat supports some of them. I need to read up on this! |
| 2024-09-29 19:53:37 +0000 | <geekosaur> | I mean, it already has a spec for typing notifications but good luck finding clients that use it |
| 2024-09-29 19:54:10 +0000 | dontdieych2 | (~a@user/dontdieych2) (Quit: WeeChat 4.4.2) |
| 2024-09-29 19:54:52 +0000 | <monochrom> | Also, "future version" is euphemism for vapourware. :) |
| 2024-09-29 19:54:57 +0000 | <Rembane> | I don't want typing notifications, they stress me out. |
| 2024-09-29 19:55:02 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-29 19:55:37 +0000 | <haskellbridge> | <sm> agreed, turn them off |
| 2024-09-29 19:55:45 +0000 | <monochrom> | In the case of IRCv3, the theory has been around for decades. You can bet it will stay as theory forever. |
| 2024-09-29 19:56:05 +0000 | haskellbridge | sm doesn't send them but still receives them, when that's allowed... which is cheating |
| 2024-09-29 19:56:12 +0000 | <geekosaur> | neh, they'll start showing up after everyone has already abandoned IRC |
| 2024-09-29 19:56:43 +0000 | <monochrom> | Yeah that too. :) |
| 2024-09-29 19:56:51 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 19:57:48 +0000 | <geekosaur> | (matrix has typing notifications. if someone takes more than about 30 seconds I'm always like "shit or get off the pot already") |
| 2024-09-29 19:58:23 +0000 | <yushyin> | seems like weechat has +typing support since sept. 2021 o.O |
| 2024-09-29 19:58:26 +0000 | <haskellbridge> | <sm> lol yeah sometimes in a chat the typing indicator comes and goes.. for minutes.. yet you can't look away |
| 2024-09-29 19:58:49 +0000 | <monochrom> | Um you don't believe in taking time to write and proofread properly before pressing enter? :) |
| 2024-09-29 19:59:31 +0000 | <monochrom> | OK OK I will write and proofread properly in emacs before pasting into matrix. :) |
| 2024-09-29 19:59:47 +0000 | <TMA> | hey IPv6 is around since 1995 and it is slowly gaining traction: 1998 IETF draft standard, 2017 internet standard, 2024 my internet provider offers IPv6 connectivity and assigns addresses upon request... |
| 2024-09-29 19:59:57 +0000 | <haskellbridge> | <sm> I don't think typing notifications come over the irc bridge, you're fine monochrom :) |
| 2024-09-29 20:00:09 +0000 | <TMA> | more patience is needed for IRCv3 :) |
| 2024-09-29 20:00:23 +0000 | <haskellbridge> | <sm> so, who's going to build the actually good matrix client in haskell ? |
| 2024-09-29 20:00:43 +0000 | <haskellbridge> | <sm> or an actually good server for that matter |
| 2024-09-29 20:01:00 +0000 | <haskellbridge> | <sm> (which is easier ? I'm guessing client) |
| 2024-09-29 20:01:33 +0000 | <geekosaur> | hell, I keep thinking about writing a bridge in Haskell, especially after learning that the heisenbridge author/maintainer is apparently stepping back |
| 2024-09-29 20:01:35 +0000 | <__monty__> | Not a fan of GlIRC? |
| 2024-09-29 20:01:49 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-29 20:01:54 +0000 | <haskellbridge> | <sm> geekosaur: yes! |
| 2024-09-29 20:02:02 +0000 | <glguy> | __monty__: glirc isn't a matrix client |
| 2024-09-29 20:03:42 +0000 | <geekosaur> | I'm not sure either one is easier. servers have to deal with e.g. the nightmare that is room sync between federated servers; clients have to do all the heavy lifting for pretty much every feature |
| 2024-09-29 20:04:02 +0000 | <__monty__> | glguy: Well, not with that attitude. But my cursed Bitlbee-libPurple-PurpleMatrix+<a sprinkling of Bash> makes *any* IRC client a Matrix client ; ) |
| 2024-09-29 20:04:20 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-09-29 20:04:42 +0000 | <glguy> | I guess. For me the only thing worse than using Matrix would be using Matrix via an IRC client |
| 2024-09-29 20:05:02 +0000 | <geekosaur> | you mean weechat-matrix? |
| 2024-09-29 20:05:04 +0000 | <haskellbridge> | <sm> geekosaur: yeah :-/ uh.. a bot then ? |
| 2024-09-29 20:05:06 +0000 | <__monty__> | Yeah, it's pretty horrendous. But so are all the Matrix clients if I'm to believe the people I talk to. |
| 2024-09-29 20:05:22 +0000 | <geekosaur> | yeh, they all have big problems |
| 2024-09-29 20:05:43 +0000 | <geekosaur> | and the matrix spec is a moving target that I'm not sure client devs can keep up with |
| 2024-09-29 20:07:08 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2024-09-29 20:07:16 +0000 | pdxleif | (~ubuntu@ec2-35-163-144-64.us-west-2.compute.amazonaws.com) pdxleif |
| 2024-09-29 20:07:46 +0000 | <pdxleif> | What's the option to get GHCi to show the foralls in type signatures explicitly? |
| 2024-09-29 20:08:10 +0000 | <geekosaur> | -fprint-explicit-foralls, unsurprisingly |
| 2024-09-29 20:08:28 +0000 | <Rembane> | Speaking of chats... I must post this: https://xkcd.com/1782/ |
| 2024-09-29 20:11:43 +0000 | <__monty__> | Especially when Element does an Olm rugpull with a big ol' CVE. |
| 2024-09-29 20:12:37 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 20:13:21 +0000 | druchan | (uid567859@id-567859.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-29 20:13:42 +0000 | <haskellbridge> | <sm> I would say don't believe all the matrix client bashing you hear. The experience probably depends on platform , memory, and rooms/activities |
| 2024-09-29 20:14:49 +0000 | <__monty__> | Sure, but I'm on old hardware and in big rooms so I'm not likely to have the best of times. |
| 2024-09-29 20:15:31 +0000 | <haskellbridge> | <sm> yeah, it depends. On an older machine I can imagine the element web app might be the best option |
| 2024-09-29 20:16:12 +0000 | <haskellbridge> | <sm> and element x, the newer lighter element replacement, probably doesn't run on your machine yet |
| 2024-09-29 20:16:54 +0000 | <haskellbridge> | <sm> Rembane :) |
| 2024-09-29 20:17:25 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-29 20:20:05 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2024-09-29 20:20:09 +0000 | <__monty__> | I think the web app doesn't work for me anymore. Not enough hardware acceleration or something. |
| 2024-09-29 20:20:26 +0000 | <haskellbridge> | <sm> geekosaur, re "clients have to do all the heavy lifting for pretty much every feature". Actually the element folks have built much of it into a library, used by EX but intended for other client devs as well. |
| 2024-09-29 20:20:39 +0000 | <haskellbridge> | <sm> But it's rust. I'm not sure how callable that would be from haskell. |
| 2024-09-29 20:21:09 +0000 | <__monty__> | It tells me it doesn't support my browser but I'm running Firefox 130.0.1, which is not that old unless I'm mistaken? |
| 2024-09-29 20:21:46 +0000 | <haskellbridge> | <sm> __monty__: that seems like the latest, it's what I have |
| 2024-09-29 20:22:00 +0000 | <haskellbridge> | <sm> weird, any other browser you could try ? |
| 2024-09-29 20:22:57 +0000 | <__monty__> | Don't want to try Chrome so not really I don't think? |
| 2024-09-29 20:23:58 +0000 | <haskellbridge> | <sm> it should definitely be working in firefox, seems worth bugtracker investigation |
| 2024-09-29 20:26:03 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-09-29 20:26:26 +0000 | haskellbridge | sm found a few alternatives at https://www.tecmint.com/linux-web-browsers . Anyway, hope something works |
| 2024-09-29 20:27:03 +0000 | <geekosaur> | app.element.io refused to run on konqueror 😞 |
| 2024-09-29 20:27:18 +0000 | <geekosaur> | (after producing a lot of untranslated ui strings on my firefox) |
| 2024-09-29 20:30:27 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-29 20:30:27 +0000 | synchromesh | (~john@2406:5a00:241a:5600:e176:3a40:8bde:547a) (Read error: Connection reset by peer) |
| 2024-09-29 20:32:01 +0000 | synchromesh | (~john@2406:5a00:241a:5600:e176:3a40:8bde:547a) synchromesh |
| 2024-09-29 20:33:14 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2024-09-29 20:33:47 +0000 | <haskellbridge> | <sm> challenge: build a super-lean minimal matrix client in hell or microhs |
| 2024-09-29 20:34:56 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2024-09-29 20:34:57 +0000 | <haskellbridge> | <sm> for the former, your building blocks are: https://chrisdone.github.io/hell/api |
| 2024-09-29 20:35:44 +0000 | Typedfern | (~Typedfern@2a02:9130:9c34:14e4:a221:40a0:af5b:f354) (Ping timeout: 265 seconds) |
| 2024-09-29 20:36:47 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-09-29 20:41:06 +0000 | <haskellbridge> | <sm> hmm, not much about networking in there |
| 2024-09-29 20:41:26 +0000 | <haskellbridge> | <sm> but that's a quick PR away |
| 2024-09-29 20:44:11 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 20:45:06 +0000 | <deepfire> | geekosaur: is there a way to circumvent nheko's insistence on failing without it being able to access "secure storage"? |
| 2024-09-29 20:45:24 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2024-09-29 20:45:35 +0000 | <geekosaur> | I have no idea, I've never seen that |
| 2024-09-29 20:45:49 +0000 | <geekosaur> | might require some part of the KDE services (kwalletd?) |
| 2024-09-29 20:46:16 +0000 | <deepfire> | "Nheko could not connect to the secure storage to save encryption secrets to. This can have multiple reasons. Check if your D-Bus service is running and you have configured a service like KWallet, Gnome Keyring, KeePassXC or the equivalent for your platform. If you are having trouble, feel free to open an issue here: https://github.com/Nheko-Reborn/nheko/issues" |
| 2024-09-29 20:47:06 +0000 | <geekosaur> | `dbus-launch nheko`? |
| 2024-09-29 20:48:17 +0000 | Typedfern | (~Typedfern@2a02:9130:9c34:14e4:99e7:1e2d:3a90:e394) typedfern |
| 2024-09-29 20:49:14 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-29 20:58:15 +0000 | <deepfire> | ok, I had to cave in and come up with a secret storage backend |
| 2024-09-29 20:58:56 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-09-29 20:59:59 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 21:03:57 +0000 | jinsun_ | (~jinsun@user/jinsun) jinsun |
| 2024-09-29 21:03:57 +0000 | jinsun | Guest2324 |
| 2024-09-29 21:03:57 +0000 | jinsun_ | jinsun |
| 2024-09-29 21:04:03 +0000 | Guest2324 | (~jinsun@user/jinsun) () |
| 2024-09-29 21:04:11 +0000 | jinsun | (~jinsun@user/jinsun) (Client Quit) |
| 2024-09-29 21:04:36 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-29 21:12:27 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-09-29 21:15:46 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 21:17:29 +0000 | aforemny | (~aforemny@i59F4C7BB.versanet.de) aforemny |
| 2024-09-29 21:17:49 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-09-29 21:17:50 +0000 | <[exa]> | is it a good practice to put optimization flags into a cabal file, or is there some mechanism that defaults stuff well from the environment? (also, does the default include -O or not?) |
| 2024-09-29 21:20:22 +0000 | <[exa]> | (in my case there's a few executables and stuff like -fexpose-unfoldings and -fspecialise-aggressively gives ~20x speedup for free) |
| 2024-09-29 21:20:47 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-09-29 21:20:53 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-29 21:22:09 +0000 | <dolio> | Cabal does -O by default. |
| 2024-09-29 21:23:37 +0000 | <dolio> | I don't recall if you can test for someone saying to optimize less, or if you'd have to use a flag for that, but maybe you should do that in case someone wants to build faster. |
| 2024-09-29 21:23:59 +0000 | <dolio> | And by "do that" I mean turn off those optimizations in that case. |
| 2024-09-29 21:24:40 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-09-29 21:27:51 +0000 | juri_ | (~juri@implicitcad.org) juri_ |
| 2024-09-29 21:30:36 +0000 | andrewboltachev | (~andrey@178.141.123.3) andrewboltachev |
| 2024-09-29 21:30:59 +0000 | <[exa]> | hm maybe I should simply provide some kind of install copypaste that has the inlining -f's in it |
| 2024-09-29 21:31:33 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 21:31:33 +0000 | <[exa]> | "if you forget the 2 flags, stuff is gonna get veeeeeeeeeeery slow" |
| 2024-09-29 21:32:18 +0000 | <[exa]> | dolio: anyway thanks for confirming the -O, I looked at some docs and it didn't look very obvious there |
| 2024-09-29 21:33:21 +0000 | <monochrom> | I used "cabal install -v" to discover it. :) |
| 2024-09-29 21:33:39 +0000 | <geekosaur> | cabal file no, cabal.project{,.local} yes |
| 2024-09-29 21:33:52 +0000 | <monochrom> | Then I went on to read source code to find out you can do https://www.vex.net/~trebla/haskell/cabal-cabal.xhtml#O2 |
| 2024-09-29 21:34:17 +0000 | <geekosaur> | https://github.com/geekosaur/xmonad.hs/blob/hilfy-2023/cabal.project.local |
| 2024-09-29 21:34:51 +0000 | <monochrom> | It is somewhere in the docs since the vast improvement some years ago. But not back in my days. |
| 2024-09-29 21:35:00 +0000 | <dolio> | The docs for `optimization:` also tell you this. |
| 2024-09-29 21:35:09 +0000 | misterfish | (~misterfis@87.215.131.102) misterfish |
| 2024-09-29 21:35:57 +0000 | <andrewboltachev> | Hello! CT question: category Set is known to have objects as sets, and arrows as functions between them. Here this diargam: https://main.andrewboltachev.site/toolbox/logicore1/6ac02cce-49ba-47c2-acef-b592e53d2fa1/7/ displays simple algebraic type, similar to (Int, [String]). Is it possible to have a category where Objects are things like (_, _), [_], Int, String, and arrows -- connections between them like fst, snd, * (the argument for |
| 2024-09-29 21:35:57 +0000 | <andrewboltachev> | the [*] type)? |
| 2024-09-29 21:36:36 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-09-29 21:37:12 +0000 | <monochrom> | Yes, Set again. |
| 2024-09-29 21:37:31 +0000 | michalz | (~michalz@185.246.207.221) (Remote host closed the connection) |
| 2024-09-29 21:37:53 +0000 | <dolio> | Between which two objects is `fst` supposed to be an arrow? |
| 2024-09-29 21:38:19 +0000 | <dolio> | I assume (,) is the domain, but what is the codomain? |
| 2024-09-29 21:38:23 +0000 | <andrewboltachev> | monochrom: I tried. but faced some problems. E.g., is (_, _) a set? |
| 2024-09-29 21:38:55 +0000 | <monochrom> | No. But for each set X and Y, (X,Y) is a set, most people write XxY. |
| 2024-09-29 21:38:57 +0000 | <andrewboltachev> | dolio: codomain is something that will be in place of the first element of (_, _) |
| 2024-09-29 21:39:16 +0000 | <dolio> | But what actually is it? :) |
| 2024-09-29 21:39:51 +0000 | <andrewboltachev> | (_, _) is a product type with two parameters :-) sort of... |
| 2024-09-29 21:40:08 +0000 | <dolio> | No, what is the codomain object? |
| 2024-09-29 21:40:44 +0000 | <andrewboltachev> | one example is Int is a type with 0 parameters. other example maybe other type, even the same like another (_, _) |
| 2024-09-29 21:41:59 +0000 | <andrewboltachev> | "fst" arrow from (_, _) might even point to itself. similar to data Stream a = Cons a (Stream a) |
| 2024-09-29 21:42:52 +0000 | <andrewboltachev> | yet to be honest one idea I had is using sets and functors. e.g. if I have type Int, I can construct [Int] |
| 2024-09-29 21:44:06 +0000 | <andrewboltachev> | *category Set and functors |
| 2024-09-29 21:47:02 +0000 | <andrewboltachev> | 'cause real goal is to refactor this data structure by, say, applying a function to some of "leaf nodes" |
| 2024-09-29 21:47:19 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 21:48:04 +0000 | troojg | (~troojg@user/troojg) troojg |
| 2024-09-29 21:50:59 +0000 | <andrewboltachev> | What I need seems intuitively very clear, I already implemented alsmost all that I need: https://github.com/andrewboltachev/matcher/blob/master/src/Logicore/Matcher/Core.hs |
| 2024-09-29 21:51:23 +0000 | <andrewboltachev> | I only cannot reason about it category-theoretically |
| 2024-09-29 21:52:20 +0000 | Eoco_ | (~ian@128.101.131.218) (Quit: WeeChat 4.1.1) |
| 2024-09-29 21:52:33 +0000 | <ncf> | are we supposed to read these 2759 lines to understand this "intuitively very clear" thing you're talking about? |
| 2024-09-29 21:52:35 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-29 21:53:13 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-09-29 21:53:22 +0000 | <dolio> | You can create a category where objects are pairs (n, F : Set^n -> Set). Then, an arrow (m, F) -> (n, G) explains how to select a list of n sets from a list of m sets, together something that maps F applied to the m sets to G applied to the n sets selected in the first part. |
| 2024-09-29 21:53:34 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2024-09-29 21:54:02 +0000 | <dolio> | Possibly with some kind of naturality involved. |
| 2024-09-29 21:54:15 +0000 | <dolio> | Anyhow, something like that is a possibility. |
| 2024-09-29 21:57:11 +0000 | <andrewboltachev> | ncf: no. just trying to proof that I made something real, not just idea |
| 2024-09-29 21:59:28 +0000 | <andrewboltachev> | dolio: so, is n a number (e.g. 3) and Set^3 -> Set a function from three sets to one? |
| 2024-09-29 22:01:03 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-29 22:01:10 +0000 | <andrewboltachev> | dolio: well, Set^3 is a category of triplets like (a, a', a'') |
| 2024-09-29 22:01:45 +0000 | <dolio> | A functor. |
| 2024-09-29 22:02:26 +0000 | <andrewboltachev> | ok F is a functor. that's how we make a functor from more than one set to one essentially |
| 2024-09-29 22:03:07 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 22:03:57 +0000 | <dolio> | Yes. But what you're talking about is assembling many different arities of functors into a single category. So that requires having some way of relating different arities to make any sense. |
| 2024-09-29 22:04:34 +0000 | <andrewboltachev> | Yes. thanks a lot for the idea! I'll research it |
| 2024-09-29 22:06:09 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-29 22:06:12 +0000 | <dolio> | Also, depending on what exactly you want to do, you might need not just numbers, but lists indicating whether the argument is covariant or contravariant, and so on. |
| 2024-09-29 22:06:40 +0000 | <dolio> | But all the examples were covariant functors. |
| 2024-09-29 22:08:09 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-29 22:09:22 +0000 | <andrewboltachev> | https://app.diagrams.net/#G1lKco0mv66sGjTyMSMU1g-ogSE5PIbdzc#%7B%22pageId%22%3A%22YBh8yTivGdvy1ecIg6Zf%22%7D |
| 2024-09-29 22:09:57 +0000 | <andrewboltachev> | dolio: Maybe coproduct will give rise for contravariant functors in the idea you've given |
| 2024-09-29 22:10:21 +0000 | <dolio> | No. Exponentials will. |
| 2024-09-29 22:10:25 +0000 | <andrewboltachev> | ah |
| 2024-09-29 22:10:30 +0000 | <dolio> | I.E. functions. |
| 2024-09-29 22:11:20 +0000 | Eoco | (~ian@128.101.131.218) Eoco |
| 2024-09-29 22:13:06 +0000 | <andrewboltachev> | coproducts (in ADTs) have been a problem (or main point of interest?) for me in this (bigger) idea that I research |
| 2024-09-29 22:13:51 +0000 | <andrewboltachev> | in, for example "Categorical Databases" by David Spivak et al they talk about a "Database instance" functor C -> Set |
| 2024-09-29 22:14:54 +0000 | <andrewboltachev> | but I believe it only works for them 'cause single "database table" is like a product of fields: (e.g. first_name, last_name, email, password etc) |
| 2024-09-29 22:15:47 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod |
| 2024-09-29 22:16:22 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-29 22:17:13 +0000 | <andrewboltachev> | if I generalize the idea (which I want) and the "generalized table" has also coproducts, e.g. either "pickup" or "delivery" (for a web store like Amazon perhaps) then how do they map coproduct onto Set |
| 2024-09-29 22:18:55 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 22:22:00 +0000 | <hololeap> | andrewboltachev: https://www.parsonsmatt.org/2019/03/19/sum_types_in_sql.html ? |
| 2024-09-29 22:23:42 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-29 22:24:13 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
| 2024-09-29 22:24:30 +0000 | <andrewboltachev> | hololeap: well, this is for SQL, but I rather mention "Categorical Databases" :-) |
| 2024-09-29 22:24:35 +0000 | Eoco | (~ian@128.101.131.218) (Quit: WeeChat 4.1.1) |
| 2024-09-29 22:25:06 +0000 | Eoco | (~ian@128.101.131.218) Eoco |
| 2024-09-29 22:25:12 +0000 | <hololeap> | ok |
| 2024-09-29 22:25:16 +0000 | Eoco | (~ian@128.101.131.218) (Client Quit) |
| 2024-09-29 22:25:55 +0000 | Eoco | (~ian@128.101.131.218) Eoco |
| 2024-09-29 22:26:03 +0000 | <andrewboltachev> | hololeap: also, some ppl say that having extra constraints in SQL will make db perform slower. (some even say that Foreign keys make it slow) |
| 2024-09-29 22:26:08 +0000 | Eoco | (~ian@128.101.131.218) (Client Quit) |
| 2024-09-29 22:26:40 +0000 | <andrewboltachev> | so one approach is to have e.g. "type" column and then several nullable columns, where each subset is for particular type etc etc |
| 2024-09-29 22:27:06 +0000 | <geekosaur> | depends on the db, really. sqlite will be bad, postgresql should be reasonable |
| 2024-09-29 22:27:29 +0000 | <geekosaur> | mariadb is poor |
| 2024-09-29 22:28:25 +0000 | <hololeap> | the article mentions three different approaches, including nullable columns |
| 2024-09-29 22:28:26 +0000 | <andrewboltachev> | yes I worked with ppl who denied fks in Postgres in "pursuit" for performance |
| 2024-09-29 22:29:13 +0000 | <geekosaur> | postgres has this thing where it's slower than simpler dbs for small tables, but scales far better than other databases as they get larger and more joins are involved |
| 2024-09-29 22:29:14 +0000 | <andrewboltachev> | hololeap: thanks. sorry |
| 2024-09-29 22:30:20 +0000 | <hololeap> | it's cool I just threw it out because at first glance it seemed vaguely relevant to the backlog I bothered to read |
| 2024-09-29 22:30:31 +0000 | <hololeap> | lol |
| 2024-09-29 22:30:47 +0000 | alp | (~alp@2001:861:e3d6:8f80:9956:3934:6a0b:7b98) |
| 2024-09-29 22:30:50 +0000 | acidjnk | (~acidjnk@p200300d6e72cfb46757e16ffb08be72b.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2024-09-29 22:30:59 +0000 | alp | (~alp@2001:861:e3d6:8f80:9956:3934:6a0b:7b98) (Changing host) |
| 2024-09-29 22:30:59 +0000 | alp | (~alp@user/alp) alp |
| 2024-09-29 22:31:03 +0000 | <andrewboltachev> | geekosaur: I believe there's a lot of science happening under the hood of Postgres :-) |
| 2024-09-29 22:31:18 +0000 | <monochrom> | Why is sqlite bad with foreign keys? If I create an index for the foreign key column, will it be much better? |
| 2024-09-29 22:31:23 +0000 | Eoco | (~ian@128.101.131.218) Eoco |
| 2024-09-29 22:31:37 +0000 | <geekosaur> | sqlite's just bad at jpining; it works best with single flat tables |
| 2024-09-29 22:31:47 +0000 | <geekosaur> | this is the price of being small and simple |
| 2024-09-29 22:31:50 +0000 | <andrewboltachev> | (didn't learn how to read output of EXPLAIN yet) |
| 2024-09-29 22:32:50 +0000 | <geekosaur> | basically it has no clue about query optimization, so where postgresql and even mariadb will optimize joins to at leats some extent, sqlite will keep brute-forcing them |
| 2024-09-29 22:33:26 +0000 | <geekosaur> | (for example it doesn't know how to use relative table sizes to determine when it's better to do the join from the other direction) |
| 2024-09-29 22:34:04 +0000 | <geekosaur> | and keeps no key statistics so it can't use those to similarly optimize how to do joins |
| 2024-09-29 22:34:41 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 22:34:43 +0000 | <geekosaur> | this kind of stuff means postgresql has higher overhead, but that overhead is fairly fixed so it becomes a smaller part of the cost as tables/indexes get larger |
| 2024-09-29 22:34:44 +0000 | <__monty__> | I'm skeptical working around the lack of foreign keys would usually be more performant than letting the DB engine do its thing. |
| 2024-09-29 22:35:29 +0000 | <geekosaur> | sounds like second generation nosql to me |
| 2024-09-29 22:35:42 +0000 | <andrewboltachev> | yes that team used JSONB |
| 2024-09-29 22:36:03 +0000 | <andrewboltachev> | i.e. two column tables — uuid and data (jsonb) |
| 2024-09-29 22:36:04 +0000 | <geekosaur> | unsurprisingly, nosql dbs are terrible at sqlish things |
| 2024-09-29 22:36:19 +0000 | alp | (~alp@user/alp) (Remote host closed the connection) |
| 2024-09-29 22:36:37 +0000 | <andrewboltachev> | but PostgreSQL is good at nosql (if you want it). Or is it? |
| 2024-09-29 22:37:12 +0000 | <geekosaur> | the higher overhead means it's usually not that great at them. tbh I'd use sqlite at that point |
| 2024-09-29 22:37:34 +0000 | <andrewboltachev> | ah |
| 2024-09-29 22:37:48 +0000 | Eoco | (~ian@128.101.131.218) (Quit: WeeChat 4.4.2) |
| 2024-09-29 22:37:52 +0000 | <geekosaur> | it's doing a lot of bookkeeping to optimize sql-style queries, if you do nosql with it that's all wasted |
| 2024-09-29 22:38:47 +0000 | <geekosaur> | (sorry, my inner db wonk is showing 🙂 ) |
| 2024-09-29 22:38:56 +0000 | Eoco | (~ian@128.101.131.218) Eoco |
| 2024-09-29 22:39:02 +0000 | <andrewboltachev> | geekosaur: I sometimes optimize ORM calls :D (e.g. call 1 time instead of N) |
| 2024-09-29 22:39:42 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-29 22:41:14 +0000 | <andrewboltachev> | geekosaur: do you use esqueleto or sth? |
| 2024-09-29 22:43:01 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2024-09-29 22:43:02 +0000 | <andrewboltachev> | geekosaur: and have you seen "Categorical databases"? And if yes, do you think it brings anything useful |
| 2024-09-29 22:44:17 +0000 | <geekosaur> | I don't actually do databases any more (since 1996) |
| 2024-09-29 22:44:51 +0000 | <andrewboltachev> | wow |
| 2024-09-29 22:44:55 +0000 | <geekosaur> | but that was around when the open source community picked up postgres, ripped out the research-quality QUEL engine, and started building a production-quality SQL engine to replace it |
| 2024-09-29 22:45:00 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 22:46:38 +0000 | xsarnik | (xsarnik@lounge.fi.muni.cz) (The Lounge - https://thelounge.chat) |
| 2024-09-29 22:50:24 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-29 22:54:12 +0000 | troojg | (~troojg@user/troojg) (Ping timeout: 276 seconds) |
| 2024-09-29 23:00:46 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 23:01:28 +0000 | deepfire | (~user@80.92.100.69) (Remote host closed the connection) |
| 2024-09-29 23:06:03 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-29 23:10:53 +0000 | Typedfern | (~Typedfern@2a02:9130:9c34:14e4:99e7:1e2d:3a90:e394) (Ping timeout: 265 seconds) |
| 2024-09-29 23:16:34 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 23:19:24 +0000 | andrewboltachev | (~andrey@178.141.123.3) (Quit: Leaving.) |
| 2024-09-29 23:20:07 +0000 | <geekosaur> | (also, re "Categorical Databases", I'm a programmer/sysadmin who's picked up a very little bit of abstract mathematics from hanging out in here; I expect that paper would be gobbledygook to me) |
| 2024-09-29 23:20:13 +0000 | <geekosaur> | whoops, missed |
| 2024-09-29 23:21:31 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-29 23:27:10 +0000 | Typedfern | (~Typedfern@2a02:9130:9c34:14e4:d11e:8149:a19f:6793) |
| 2024-09-29 23:29:33 +0000 | dyniec | (~dyniec@dybiec.info) dyniec |
| 2024-09-29 23:32:22 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 23:37:25 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-29 23:41:18 +0000 | <monochrom> | :) |
| 2024-09-29 23:41:47 +0000 | <monochrom> | There is a chance David Spivak's writing can made sense to practical people. Afterall, he wrote like "CT for engineers". |
| 2024-09-29 23:48:10 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 23:53:25 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |