2024-09-29 00:01:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 00:01:16 +0200 | anpad | (~pandeyan@user/anpad) anpad |
2024-09-29 00:05:23 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
2024-09-29 00:06:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-29 00:06:18 +0200 | alp | (~alp@2001:861:e3d6:8f80:b4d:aea6:7f4e:74f8) |
2024-09-29 00:06:32 +0200 | alp | (~alp@2001:861:e3d6:8f80:b4d:aea6:7f4e:74f8) (Changing host) |
2024-09-29 00:06:32 +0200 | alp | (~alp@user/alp) alp |
2024-09-29 00:08:50 +0200 | Inst | (~Inst@user/Inst) Inst |
2024-09-29 00:09:27 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-29 00:09:29 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2024-09-29 00:11:21 +0200 | <Inst> | okay, screw comonads, i just don't see the advantage over lenses/optics besides not requiring TH / manual writing of lenses |
2024-09-29 00:12:00 +0200 | <Inst> | if there's an HTML library designed to use optics, would that be a substantial advantage over lucid / blaze? |
2024-09-29 00:13:46 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
2024-09-29 00:16:47 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 00:18:45 +0200 | <dmj`> | @package type-of-html |
2024-09-29 00:18:45 +0200 | <lambdabot> | https://hackage.haskell.org/package/type-of-html |
2024-09-29 00:18:46 +0200 | dlock23 | (~dlock23@160.red-81-40-78.staticip.rima-tde.net) |
2024-09-29 00:19:17 +0200 | dlock23 | (~dlock23@160.red-81-40-78.staticip.rima-tde.net) (Remote host closed the connection) |
2024-09-29 00:19:31 +0200 | dlock23 | (~dlock23@160.red-81-40-78.staticip.rima-tde.net) |
2024-09-29 00:20:44 +0200 | <Inst> | i'm aware of it, but is it designed to use optics? |
2024-09-29 00:21:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-09-29 00:22:02 +0200 | troojg | (~troojg@user/troojg) troojg |
2024-09-29 00:23:55 +0200 | bud | (~bud@user/bud) bud |
2024-09-29 00:24:04 +0200 | <bud> | hello haskell people! |
2024-09-29 00:24:37 +0200 | <geekosaur> | 👋 |
2024-09-29 00:25:23 +0200 | <bud> | i found this really cool, video editor built with haskell that i wanted to try, but the build fails. |
2024-09-29 00:25:53 +0200 | <bud> | https://owickstrom.github.io/komposition/ <- video editor, https://github.com/owickstrom/komposition <- repo |
2024-09-29 00:26:04 +0200 | <bud> | i use Arch btw |
2024-09-29 00:26:05 +0200 | <geekosaur> | sadly, the ground is littered with such cool projects that bitrotted when the author was promptly hired by someone and possibly under NDA |
2024-09-29 00:26:33 +0200 | <geekosaur> | that said, Arch is something of a warning sign. at minimum, try using `-dynamic` |
2024-09-29 00:26:56 +0200 | <geekosaur> | but you may have to toss Arch's ghc and libs and start over with ghcup: Arch's Haskell ecosystem is a mess |
2024-09-29 00:27:03 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-29 00:27:07 +0200 | <bud> | installation instruction say it is easiest installed with "stack" |
2024-09-29 00:27:56 +0200 | <bud> | i installed stack followed by `stack install` got errors on compiling "ffmpeg-light" |
2024-09-29 00:28:05 +0200 | <geekosaur> | I don't know off the top of my head how you would force stack to pass -dynamic to everything necessary |
2024-09-29 00:28:23 +0200 | <bud> | might be related to this: https://github.com/acowley/ffmpeg-light/issues/69 |
2024-09-29 00:28:54 +0200 | <bud> | install docs, also have this sidenote: >If you know your way around building Haskell programs, you might want to build it using Nix or regular Cabal, instead. |
2024-09-29 00:29:07 +0200 | <bud> | https://owickstrom.github.io/komposition/user-guide/installation/ |
2024-09-29 00:29:13 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
2024-09-29 00:29:35 +0200 | <geekosaur> | do you get that exact build error? "error: ‘AVStream’ has no member named ‘codec’" |
2024-09-29 00:30:49 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) tcard |
2024-09-29 00:31:39 +0200 | <haskellbridge> | <sm> by our standards, getting that far is pretty good! :) (I didn't; ghc 8.6 is too old for macs) |
2024-09-29 00:32:28 +0200 | <bud> | geekosaur: https://0x0.st/XgTo.txt |
2024-09-29 00:32:35 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 00:32:54 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2024-09-29 00:33:11 +0200 | <haskellbridge> | <sm> internet says "AV_CODEC_CAP_TRUNCATED has been removed in ffmpeg 6" |
2024-09-29 00:33:22 +0200 | <geekosaur> | okay, your problem is that `ffmpeg-light` requires an older `ffmpeg` than Arch ships |
2024-09-29 00:34:06 +0200 | <geekosaur> | and apparently either nobody has updated it or other dependencies are preventing newer versions are being used |
2024-09-29 00:34:27 +0200 | <geekosaur> | were this a cabal build I'd try --allow-newer=ffmpeg-light |
2024-09-29 00:34:41 +0200 | <geekosaur> | not sure how you do that with stack, I don't use that much |
2024-09-29 00:34:56 +0200 | <bud> | i think it is possible to install with cabal also |
2024-09-29 00:35:14 +0200 | <bud> | https://github.com/owickstrom/komposition/blob/master/komposition.cabal |
2024-09-29 00:35:17 +0200 | <geekosaur> | make sure the instructions aren't as out of date as the software |
2024-09-29 00:35:30 +0200 | <geekosaur> | (stack uses .cabal files) |
2024-09-29 00:35:40 +0200 | <geekosaur> | cabal 1.x was a royal mess |
2024-09-29 00:35:48 +0200 | <bud> | maybe easiest for me would be to install nix |
2024-09-29 00:35:51 +0200 | <geekosaur> | and 2.x+ behave rather differently |
2024-09-29 00:36:01 +0200 | <bud> | and install with nix |
2024-09-29 00:36:03 +0200 | <haskellbridge> | <sm> for some value of "easiest" |
2024-09-29 00:38:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-09-29 00:38:39 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
2024-09-29 00:39:12 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-29 00:41:07 +0200 | <haskellbridge> | <sm> or maybe you can install "ffmpeg5.1" package ? |
2024-09-29 00:41:38 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
2024-09-29 00:41:53 +0200 | <bud> | too late, im nixing now |
2024-09-29 00:42:47 +0200 | <bud> | also arch has ffmpeg4.4 but no 5.1, 4.4 probably work, but again, im nixing now. |
2024-09-29 00:43:20 +0200 | <bud> | not exactly sure but i think it is compiling gtk3 now.. |
2024-09-29 00:43:37 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2024-09-29 00:44:29 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
2024-09-29 00:45:07 +0200 | <haskellbridge> | <sm> soon this battle station will be fully operational |
2024-09-29 00:45:23 +0200 | <monochrom> | haha |
2024-09-29 00:48:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 00:51:14 +0200 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) (Quit: Leaving) |
2024-09-29 00:53:35 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Read error: Connection reset by peer) |
2024-09-29 00:53:49 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) athan |
2024-09-29 00:55:21 +0200 | gioyik_ | (~gioyik@gateway/tor-sasl/gioyik) (Ping timeout: 260 seconds) |
2024-09-29 00:58:28 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-09-29 01:00:39 +0200 | troojg | (~troojg@user/troojg) (Ping timeout: 260 seconds) |
2024-09-29 01:03:23 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
2024-09-29 01:09:39 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 246 seconds) |
2024-09-29 01:09:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 01:14:17 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-29 01:14:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-09-29 01:18:40 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
2024-09-29 01:19:28 +0200 | gvg_ | (~dcd@user/gvg) gvg |
2024-09-29 01:20:59 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2024-09-29 01:21:04 +0200 | gvg | (~dcd@user/gvg) (Ping timeout: 260 seconds) |
2024-09-29 01:23:46 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
2024-09-29 01:25:27 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 01:27:07 +0200 | <bud> | build failed in nix also, i give up. stay strong haskell people, thanks for help! |
2024-09-29 01:29:25 +0200 | bud | (~bud@user/bud) (Leaving.) |
2024-09-29 01:30:26 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-09-29 01:33:39 +0200 | pavonia | (~user@user/siracusa) siracusa |
2024-09-29 01:33:41 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb1220772d8af485911b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2024-09-29 01:41:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 01:46:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-09-29 01:52:53 +0200 | ell | (~ellie@user/ellie) (Read error: Connection reset by peer) |
2024-09-29 01:53:02 +0200 | ell3 | (~ellie@user/ellie) ellie |
2024-09-29 01:55:23 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-29 01:56:34 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 02:00:44 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
2024-09-29 02:01:34 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-29 02:06:28 +0200 | dlock23 | (~dlock23@160.red-81-40-78.staticip.rima-tde.net) (Leaving) |
2024-09-29 02:12:20 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 02:13:26 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-29 02:17:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-09-29 02:18:59 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
2024-09-29 02:28:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 02:32:57 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-29 02:32:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-09-29 02:37:56 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
2024-09-29 02:43:28 +0200 | troojg | (~troojg@user/troojg) troojg |
2024-09-29 02:43:56 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 02:46:06 +0200 | alp | (~alp@user/alp) (Remote host closed the connection) |
2024-09-29 02:48:52 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-29 02:53:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 02:56:30 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-29 02:56:53 +0200 | <Inst> | hum, so this zipper-based conway isn't that bad |
2024-09-29 02:57:18 +0200 | troojg | (~troojg@user/troojg) (Ping timeout: 276 seconds) |
2024-09-29 02:59:16 +0200 | <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 03:02:39 +0200 | Inst | (~Inst@user/Inst) (Remote host closed the connection) |
2024-09-29 03:02:42 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-09-29 03:03:04 +0200 | Inst | (~Inst@user/Inst) Inst |
2024-09-29 03:03:36 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
2024-09-29 03:04:38 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
2024-09-29 03:05:11 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-29 03:05:25 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2024-09-29 03:10:47 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
2024-09-29 03:13:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 03:18:34 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-29 03:25:06 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-29 03:28:28 +0200 | Patrickfield | (~Patrickfi@net-2-36-176-102.cust.vodafonedsl.it) |
2024-09-29 03:29:34 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
2024-09-29 03:29:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 03:31:06 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
2024-09-29 03:31:41 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-29 03:32:59 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2024-09-29 03:33:28 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2024-09-29 03:34:38 +0200 | spew | (~spew@201.141.99.170) spew |
2024-09-29 03:34:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-09-29 03:35:16 +0200 | Patrickfield | (~Patrickfi@net-2-36-176-102.cust.vodafonedsl.it) (Remote host closed the connection) |
2024-09-29 03:36:21 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
2024-09-29 03:40:59 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2024-09-29 03:49:24 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-29 03:54:53 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
2024-09-29 03:57:34 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 04:04:46 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-29 04:05:01 +0200 | op_4 | (~tslil@2a01:4f8:c0c:7952::1) (Remote host closed the connection) |
2024-09-29 04:05:30 +0200 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
2024-09-29 04:08:16 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-29 04:16:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 04:21:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-29 04:21:38 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
2024-09-29 04:25:39 +0200 | cyphase | (~cyphase@user/cyphase) (Quit: cyphase.com) |
2024-09-29 04:25:56 +0200 | identity | (~identity@user/ZharMeny) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
2024-09-29 04:26:06 +0200 | <probie> | Zipper-based involves a huge amount of memory allocation, which is not free |
2024-09-29 04:27:13 +0200 | <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 04:30:02 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
2024-09-29 04:32:10 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 04:33:08 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 255 seconds) |
2024-09-29 04:34:20 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-29 04:36:29 +0200 | td_ | (~td@83.135.9.0) (Ping timeout: 260 seconds) |
2024-09-29 04:37:11 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-09-29 04:38:14 +0200 | td_ | (~td@i53870906.versanet.de) |
2024-09-29 04:45:28 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
2024-09-29 04:47:56 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 04:52:53 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-09-29 04:55:37 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-09-29 04:56:56 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-29 05:01:44 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
2024-09-29 05:02:03 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) athan |
2024-09-29 05:03:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 05:08:34 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-29 05:08:50 +0200 | spew | (~spew@201.141.99.170) (Read error: Connection reset by peer) |
2024-09-29 05:16:04 +0200 | xdminsy | (~xdminsy@117.147.70.99) xdminsy |
2024-09-29 05:17:09 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
2024-09-29 05:17:49 +0200 | vglfr | (~vglfr@2601:14d:4701:3b30:33ba:719b:bbc5:4e3a) vglfr |
2024-09-29 05:18:35 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2024-09-29 05:19:32 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 05:24:22 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-09-29 05:25:16 +0200 | xdminsy | (~xdminsy@117.147.70.99) (Ping timeout: 265 seconds) |
2024-09-29 05:29:45 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-29 05:34:11 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 244 seconds) |
2024-09-29 05:35:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 05:40:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-09-29 05:41:31 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
2024-09-29 05:41:56 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2024-09-29 05:47:45 +0200 | rvalue | (~rvalue@user/rvalue) (Changing host) |
2024-09-29 05:47:45 +0200 | rvalue | (~rvalue@user/lvalue) lvalue |
2024-09-29 05:50:06 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-29 05:50:21 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-09-29 05:51:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 05:54:21 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-09-29 05:56:10 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-09-29 05:56:41 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 265 seconds) |
2024-09-29 05:56:41 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
2024-09-29 05:57:06 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
2024-09-29 05:57:39 +0200 | rvalue | (~rvalue@user/lvalue) (Changing host) |
2024-09-29 05:57:39 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
2024-09-29 05:58:15 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-09-29 06:04:41 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-09-29 06:06:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 06:09:33 +0200 | iamsleepy | (~iamsleepy@117.242.59.149) iamsleepy |
2024-09-29 06:12:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-09-29 06:18:55 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 265 seconds) |
2024-09-29 06:20:23 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-09-29 06:21:15 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
2024-09-29 06:22:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 06:24:18 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-29 06:26:39 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 265 seconds) |
2024-09-29 06:27:37 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-09-29 06:29:04 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
2024-09-29 06:33:37 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-09-29 06:38:28 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 06:43:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-09-29 06:46:58 +0200 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
2024-09-29 06:49:31 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
2024-09-29 06:52:37 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
2024-09-29 06:54:13 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-29 06:54:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 06:58:34 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
2024-09-29 06:59:44 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-09-29 06:59:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-09-29 07:05:54 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
2024-09-29 07:07:38 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-09-29 07:10:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 07:12:13 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-29 07:14:01 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 265 seconds) |
2024-09-29 07:14:56 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-09-29 07:15:33 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-09-29 07:19:35 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 244 seconds) |
2024-09-29 07:25:09 +0200 | troojg | (~troojg@user/troojg) troojg |
2024-09-29 07:25:49 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 07:30:49 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-29 07:33:36 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-29 07:38:32 +0200 | iamsleepy | (~iamsleepy@117.242.59.149) (Ping timeout: 255 seconds) |
2024-09-29 07:39:01 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
2024-09-29 07:40:43 +0200 | iamsleepy | (~iamsleepy@117.242.59.149) iamsleepy |
2024-09-29 07:41:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 07:46:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-09-29 07:51:07 +0200 | vincent42 | (uid574193@id-574193.hampstead.irccloud.com) |
2024-09-29 07:51:15 +0200 | vincent42 | (uid574193@id-574193.hampstead.irccloud.com) (Changing host) |
2024-09-29 07:51:15 +0200 | vincent42 | (uid574193@user/vincent42) vincent42 |
2024-09-29 07:53:34 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 07:58:20 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-29 08:04:16 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2024-09-29 08:08:29 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-29 08:09:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 08:14:14 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
2024-09-29 08:17:20 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-09-29 08:24:22 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 252 seconds) |
2024-09-29 08:27:11 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-09-29 08:27:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 08:31:42 +0200 | troojg | (~troojg@user/troojg) (Ping timeout: 246 seconds) |
2024-09-29 08:32:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-09-29 08:37:08 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2024-09-29 08:39:05 +0200 | petrichor | (~znc-user@user/petrichor) (Ping timeout: 265 seconds) |
2024-09-29 08:43:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 08:44:52 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-29 08:49:04 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-09-29 08:49:43 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
2024-09-29 08:58:47 +0200 | xff0x | (~xff0x@2405:6580:b080:900:9334:d416:507d:a2f5) (Ping timeout: 244 seconds) |
2024-09-29 08:59:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 09:00:01 +0200 | tt123109783243 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: The Lounge - https://thelounge.chat) |
2024-09-29 09:00:02 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
2024-09-29 09:00:40 +0200 | caconym | (~caconym@user/caconym) caconym |
2024-09-29 09:02:28 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-29 09:03:25 +0200 | tt123109783243 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) tt1231 |
2024-09-29 09:04:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-09-29 09:07:01 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
2024-09-29 09:07:46 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-09-29 09:14:08 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2024-09-29 09:14:51 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
2024-09-29 09:14:52 +0200 | ljdarj1 | ljdarj |
2024-09-29 09:15:08 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 09:20:26 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-29 09:20:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-09-29 09:21:52 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-09-29 09:24:51 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
2024-09-29 09:30:14 +0200 | xff0x | (~xff0x@2405:6580:b080:900:2db7:1968:c949:1e07) |
2024-09-29 09:30:55 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 09:35:51 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-29 09:40:14 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-29 09:41:50 +0200 | misterfish | (~misterfis@84.53.85.146) misterfish |
2024-09-29 09:44:17 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
2024-09-29 09:45:17 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 244 seconds) |
2024-09-29 09:46:42 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 09:52:00 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-09-29 09:54:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 09:59:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-09-29 10:03:23 +0200 | synchromesh | (~john@2406:5a00:241a:5600:988d:bee0:a971:b921) (Read error: Connection reset by peer) |
2024-09-29 10:04:48 +0200 | synchromesh | (~john@2406:5a00:241a:5600:e176:3a40:8bde:547a) synchromesh |
2024-09-29 10:10:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 10:15:21 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-29 10:18:10 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-09-29 10:19:08 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb46757e16ffb08be72b.dip0.t-ipconnect.de) acidjnk |
2024-09-29 10:20:04 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
2024-09-29 10:29:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 10:31:09 +0200 | mzg | (mzg@abusers.hu) (Quit: brb) |
2024-09-29 10:31:13 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-09-29 10:31:25 +0200 | ubert | (~Thunderbi@178.165.177.214.wireless.dyn.drei.com) ubert |
2024-09-29 10:33:03 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-29 10:34:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-09-29 10:34:57 +0200 | <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 10:37:28 +0200 | Typedfern | (~Typedfern@91.red-83-37-29.dynamicip.rima-tde.net) (Ping timeout: 245 seconds) |
2024-09-29 10:37:44 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
2024-09-29 10:40:07 +0200 | ash3en | (~Thunderbi@146.70.124.222) ash3en |
2024-09-29 10:40:20 +0200 | ubert | (~Thunderbi@178.165.177.214.wireless.dyn.drei.com) (Ping timeout: 255 seconds) |
2024-09-29 10:40:26 +0200 | vincent42 | (uid574193@user/vincent42) (Quit: Connection closed for inactivity) |
2024-09-29 10:42:36 +0200 | ubert | (~Thunderbi@178.165.177.214.wireless.dyn.drei.com) ubert |
2024-09-29 10:44:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 10:52:58 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-09-29 10:55:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 11:00:42 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-09-29 11:02:24 +0200 | ubert | (~Thunderbi@178.165.177.214.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
2024-09-29 11:06:27 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 11:06:34 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2024-09-29 11:07:49 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-29 11:09:12 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
2024-09-29 11:09:13 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2024-09-29 11:11:49 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-09-29 11:13:57 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
2024-09-29 11:14:46 +0200 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
2024-09-29 11:17:35 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
2024-09-29 11:19:52 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2024-09-29 11:22:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 11:23:39 +0200 | edwtjo | (~edwtjo@fsf/member/edwtjo) (Ping timeout: 276 seconds) |
2024-09-29 11:29:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-09-29 11:34:54 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2024-09-29 11:37:26 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
2024-09-29 11:40:41 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 11:43:06 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-29 11:43:49 +0200 | edwtjo | (~edwtjo@fsf/member/edwtjo) edwtjo |
2024-09-29 11:45:26 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2024-09-29 11:45:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-29 11:49:31 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
2024-09-29 11:56:28 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 11:59:45 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2024-09-29 12:01:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-09-29 12:04:45 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
2024-09-29 12:06:40 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 272 seconds) |
2024-09-29 12:12:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 12:17:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-09-29 12:20:13 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-29 12:26:46 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-09-29 12:28:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 12:31:50 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
2024-09-29 12:32:53 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-09-29 12:33:46 +0200 | edwtjo | (~edwtjo@fsf/member/edwtjo) (Quit: WeeChat 4.2.1) |
2024-09-29 12:43:50 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 12:44:20 +0200 | __monty__ | (~toonn@user/toonn) toonn |
2024-09-29 12:44:54 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
2024-09-29 12:46:58 +0200 | Typedfern | (~Typedfern@91.red-83-37-29.dynamicip.rima-tde.net) typedfern |
2024-09-29 12:47:17 +0200 | iamsleepy | (~iamsleepy@117.242.59.149) (Ping timeout: 248 seconds) |
2024-09-29 12:49:05 +0200 | iamsleepy | (~iamsleepy@117.252.51.83) iamsleepy |
2024-09-29 12:56:43 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
2024-09-29 12:57:08 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-09-29 12:57:35 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 12:58:02 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-29 13:02:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-29 13:03:04 +0200 | mrmr155334346318 | (~mrmr@user/mrmr) (Quit: Bye, See ya later!) |
2024-09-29 13:03:45 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
2024-09-29 13:03:57 +0200 | Typedfern | (~Typedfern@91.red-83-37-29.dynamicip.rima-tde.net) (Ping timeout: 265 seconds) |
2024-09-29 13:05:01 +0200 | ash3en1 | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
2024-09-29 13:06:22 +0200 | ash3en | (~Thunderbi@146.70.124.222) (Ping timeout: 265 seconds) |
2024-09-29 13:06:23 +0200 | ash3en1 | ash3en |
2024-09-29 13:13:16 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 13:16:35 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-29 13:18:34 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-09-29 13:20:48 +0200 | petrichor | (~znc-user@user/petrichor) petrichor |
2024-09-29 13:22:19 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
2024-09-29 13:22:48 +0200 | mrmr155334346318 | (~mrmr@user/mrmr) mrmr |
2024-09-29 13:22:48 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 265 seconds) |
2024-09-29 13:23:07 +0200 | ash3en | (~Thunderbi@146.70.124.222) ash3en |
2024-09-29 13:26:11 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 265 seconds) |
2024-09-29 13:28:30 +0200 | ubert | (~Thunderbi@178.165.177.214.wireless.dyn.drei.com) ubert |
2024-09-29 13:29:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 13:36:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-09-29 13:37:22 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-29 13:39:06 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-09-29 13:42:08 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
2024-09-29 13:48:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 13:51:35 +0200 | identity | (~identity@user/ZharMeny) identity |
2024-09-29 13:55:11 +0200 | Digitteknohippie | (~user@user/digit) Digit |
2024-09-29 13:55:29 +0200 | Digit | (~user@user/digit) (Ping timeout: 248 seconds) |
2024-09-29 13:58:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-29 13:58:34 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 14:02:01 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-29 14:03:31 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-29 14:04:28 +0200 | ash3en1 | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
2024-09-29 14:04:51 +0200 | ash3en | (~Thunderbi@146.70.124.222) (Ping timeout: 265 seconds) |
2024-09-29 14:04:51 +0200 | ash3en1 | ash3en |
2024-09-29 14:11:44 +0200 | Inst | (~Inst@user/Inst) (Remote host closed the connection) |
2024-09-29 14:12:02 +0200 | Inst | (~Inst@user/Inst) Inst |
2024-09-29 14:14:09 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
2024-09-29 14:14:16 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 14:17:46 +0200 | ubert | (~Thunderbi@178.165.177.214.wireless.dyn.drei.com) (Ping timeout: 272 seconds) |
2024-09-29 14:19:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-09-29 14:30:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 14:35:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-09-29 14:40:14 +0200 | Digitteknohippie | Digit |
2024-09-29 14:44:07 +0200 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Remote host closed the connection) |
2024-09-29 14:45:12 +0200 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) flukiluke |
2024-09-29 14:45:51 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 14:50:38 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-09-29 14:58:35 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-29 14:59:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 15:02:42 +0200 | dontdieych2 | (~a@user/dontdieych2) dontdieych2 |
2024-09-29 15:02:49 +0200 | misterfish | (~misterfis@84.53.85.146) misterfish |
2024-09-29 15:03:20 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 265 seconds) |
2024-09-29 15:04:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-09-29 15:05:16 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
2024-09-29 15:14:46 +0200 | cns | (~Vengeance@2.219.56.221) (Ping timeout: 272 seconds) |
2024-09-29 15:15:17 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 15:16:49 +0200 | vapid | (~Vengeance@2.219.56.221) |
2024-09-29 15:17:02 +0200 | vapid | (~Vengeance@2.219.56.221) (Excess Flood) |
2024-09-29 15:17:36 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2024-09-29 15:17:52 +0200 | Vengeance | (~Vengeance@2.219.56.221) |
2024-09-29 15:20:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-09-29 15:20:24 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-29 15:24:42 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
2024-09-29 15:25:06 +0200 | druchan | (uid567859@id-567859.lymington.irccloud.com) |
2024-09-29 15:25:52 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2024-09-29 15:26:10 +0200 | billchenchina- | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) billchenchina |
2024-09-29 15:27:19 +0200 | iamsleepy | (~iamsleepy@117.252.51.83) (Quit: WeeChat 4.4.2) |
2024-09-29 15:30:22 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
2024-09-29 15:31:04 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 15:35:07 +0200 | <dontdieych2> | Building HLS on aarch64, Asahilinux apple M2. error log -> https://gist.github.com/dontdieych/ad02cd5b04c3ded4a2f0e73a165e4a05 |
2024-09-29 15:35:16 +0200 | <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 15:35:42 +0200 | <dontdieych2> | looks like ncurses libtinfo cause problem. |
2024-09-29 15:35:56 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-29 15:36:04 +0200 | <dontdieych2> | anyone have clue about that? |
2024-09-29 15:36:15 +0200 | masterbuilder | (~quassel@user/masterbuilder) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
2024-09-29 15:39:05 +0200 | <haskellbridge> | <magic_rb> Is your libtinfo present and functional? And of the correct architecture |
2024-09-29 15:39:13 +0200 | <dontdieych2> | output of `rpm -qa|rg ncurses` --> https://gist.github.com/dontdieych/ffb1bdbf0bebebf0e4d176eead37dd7b |
2024-09-29 15:39:45 +0200 | <dontdieych2> | ye looks like ok |
2024-09-29 15:39:45 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-29 15:39:49 +0200 | <geekosaur> | where did you get your ghc install from? did asahi package it? |
2024-09-29 15:39:59 +0200 | <dontdieych2> | no all of from ghcup |
2024-09-29 15:40:26 +0200 | <geekosaur> | uh? ghcup doesn't have anything for linux on m2, I'm pretty sure |
2024-09-29 15:40:41 +0200 | <dontdieych2> | ghcup's hls not working so I tried build manually by `ghcup compile hls` |
2024-09-29 15:41:21 +0200 | <dontdieych2> | It actually install hls but not working with vscode, neovim. spit out some libtinfo.so.6 error |
2024-09-29 15:41:40 +0200 | <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 15:41:49 +0200 | <dontdieych2> | /lib64/libtinfo.so.6: no version information available <-- like that |
2024-09-29 15:41:56 +0200 | <dontdieych2> | wait sec |
2024-09-29 15:43:30 +0200 | <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 15:43:32 +0200 | <dontdieych2> | /lib64/libtinfo.so.6: symbolic link to libtinfo.so.6.4 |
2024-09-29 15:43:52 +0200 | <dontdieych2> | tinfo version mismatch? |
2024-09-29 15:44:16 +0200 | <haskellbridge> | <magic_rb> "file /lib/libtinfo.so.6.4" usefully file doesnt deref symlinks by default |
2024-09-29 15:44:24 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 260 seconds) |
2024-09-29 15:44:37 +0200 | <haskellbridge> | <magic_rb> There must be smth weird about your "libtinfo", dont ask me what though |
2024-09-29 15:45:06 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
2024-09-29 15:45:53 +0200 | <geekosaur> | the fact that it output a symbol version makes me think it found that symbol with a different version |
2024-09-29 15:46:30 +0200 | <haskellbridge> | <magic_rb> Oh right yeah i didnt notice that :( |
2024-09-29 15:46:50 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 15:46:53 +0200 | <haskellbridge> | <magic_rb> Why would it be expecting a different one, ah ghc is probably not compiled from source? |
2024-09-29 15:46:57 +0200 | <int-e> | file -L follows symlinks |
2024-09-29 15:46:59 +0200 | <geekosaur> | um, in fact I see the problem now |
2024-09-29 15:47:30 +0200 | <geekosaur> | NCURSES_TINFO_5.0.19991023 vs. libtinfo.so.6.4 |
2024-09-29 15:47:31 +0200 | <haskellbridge> | <magic_rb> int-e: good to know... i could have guessed given i know that find -L does |
2024-09-29 15:47:39 +0200 | <geekosaur> | ghc is linked against ncurses 5, not ncurses 6 |
2024-09-29 15:48:49 +0200 | <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 15:50:11 +0200 | <int-e> | so $distro dropped TINFO_5.0 support? My libtinfo.so.6.5 exports NCURSES6_TINFO_5.0.19991023 |
2024-09-29 15:50:49 +0200 | <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 15:51:55 +0200 | <geekosaur> | and yes, limited backward compatibility is a build-time option for ncurses |
2024-09-29 15:52:09 +0200 | <geekosaur> | (easier for terminfo than for curses itself) |
2024-09-29 15:52:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-09-29 15:54:44 +0200 | polyphem | (~rod@p3ee3f695.dip0.t-ipconnect.de) polyphem |
2024-09-29 15:55:16 +0200 | masterbuilder | (~quassel@user/masterbuilder) masterbuilder |
2024-09-29 15:56:04 +0200 | <dontdieych2> | install pkg info --> https://paste.tomsmeding.com/osASkuaF |
2024-09-29 15:56:37 +0200 | <dontdieych2> | ncurses-libs and ncurses-compat-libs both installed. BTW fedora 40 asahilinux |
2024-09-29 15:57:37 +0200 | <geekosaur> | which devel package(s)? |
2024-09-29 15:57:55 +0200 | <geekosaur> | (will provide libtinfo.so with no version suffix) |
2024-09-29 15:58:19 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-29 15:58:44 +0200 | <dontdieych2> | $ rpm -qa|rg ncurses |
2024-09-29 15:58:46 +0200 | <dontdieych2> | ncurses-base-6.4-12.20240127.fc40.noarch |
2024-09-29 15:58:48 +0200 | <dontdieych2> | ncurses-libs-6.4-12.20240127.fc40.aarch64 |
2024-09-29 15:58:50 +0200 | <dontdieych2> | ncurses-6.4-12.20240127.fc40.aarch64 |
2024-09-29 15:58:52 +0200 | <dontdieych2> | ncurses-term-6.4-12.20240127.fc40.noarch |
2024-09-29 15:58:54 +0200 | <dontdieych2> | ncurses-c++-libs-6.4-12.20240127.fc40.aarch64 |
2024-09-29 15:58:56 +0200 | <dontdieych2> | ncurses-devel-6.4-12.20240127.fc40.aarch64 |
2024-09-29 15:58:58 +0200 | <dontdieych2> | ncurses-static-6.4-12.20240127.fc40.aarch64 |
2024-09-29 15:59:00 +0200 | <dontdieych2> | ncurses-compat-libs-6.4-12.20240127.fc40.aarch64 |
2024-09-29 15:59:20 +0200 | <dontdieych2> | installed allof '^ncurse' pkgs. |
2024-09-29 16:00:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 16:00:40 +0200 | <dontdieych2> | not sure but if my memories correct hls worked with vscode + haskell extention at least once couple of days aga. |
2024-09-29 16:00:53 +0200 | <dontdieych2> | with ghcup's hls |
2024-09-29 16:02:45 +0200 | <dontdieych2> | backup ~/.ghcup, ~/.cabal then reinstall hls ground up. is it good idea? |
2024-09-29 16:03:26 +0200 | <dontdieych2> | gonna try, nothing to lose |
2024-09-29 16:03:46 +0200 | <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 16:05:00 +0200 | <dontdieych2> | int-e: ye installed it already |
2024-09-29 16:05:23 +0200 | <dontdieych2> | rpm -ql ncurses-compat-libs|rg tinfo |
2024-09-29 16:05:25 +0200 | <dontdieych2> | /usr/lib64/libtinfo.so.5 |
2024-09-29 16:05:27 +0200 | <dontdieych2> | /usr/lib64/libtinfo.so.5.9 |
2024-09-29 16:05:34 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-09-29 16:05:48 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2024-09-29 16:07:18 +0200 | <dontdieych2> | ll /lib64/libtinfo* |
2024-09-29 16:07:20 +0200 | <dontdieych2> | .rw-r--r--@ 357k root root 1 Feb 09:00 /lib64/libtinfo.a |
2024-09-29 16:07:22 +0200 | <dontdieych2> | lrwxrwxrwx@ - root root 1 Feb 09:00 /lib64/libtinfo.so -> libtinfo.so.6* |
2024-09-29 16:07:24 +0200 | <dontdieych2> | lrwxrwxrwx@ - root root 1 Feb 09:00 /lib64/libtinfo.so.5 -> libtinfo.so.5.9* |
2024-09-29 16:07:26 +0200 | <dontdieych2> | .rwxr-xr-x@ 334k root root 1 Feb 09:00 /lib64/libtinfo.so.5.9* |
2024-09-29 16:07:28 +0200 | <dontdieych2> | lrwxrwxrwx@ - root root 1 Feb 09:00 /lib64/libtinfo.so.6 -> libtinfo.so.6.4* |
2024-09-29 16:07:30 +0200 | <dontdieych2> | .rwxr-xr-x@ 335k root root 1 Feb 09:00 /lib64/libtinfo.so.6.4* |
2024-09-29 16:07:32 +0200 | <dontdieych2> | .rw-r--r--@ 448k root root 1 Feb 09:00 /lib64/libtinfo_g.a |
2024-09-29 16:08:02 +0200 | <dontdieych2> | so.. tinfo.so.5 is there but whatever reason ghc grab so.6? |
2024-09-29 16:08:06 +0200 | <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 16:08:54 +0200 | <dontdieych2> | manually `ln -sf` /lib64/libtinfo.so -> libtinfo.so.5 ? |
2024-09-29 16:09:05 +0200 | <geekosaur> | include files won't match |
2024-09-29 16:11:23 +0200 | <int-e> | dontdieych2: okay. sorry this is probably not helpful because apparently that ghc links against .6. I was mostly curious. |
2024-09-29 16:12:03 +0200 | <int-e> | . o O ( I /might/ consider LD_PRELOAD shenanigans depending on mood and phase of the moon ) |
2024-09-29 16:12:49 +0200 | <int-e> | (but I'd also expect to run into trouble with subprocesses that actually want .6) |
2024-09-29 16:15:21 +0200 | Vengeance_ | (~Vengeance@2.219.56.221) |
2024-09-29 16:16:16 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 16:16:44 +0200 | <dontdieych2> | started ` ghcup compile ghc -j 4 -v 9.4.8 -b 9.4.8` |
2024-09-29 16:16:57 +0200 | <dontdieych2> | hope to it works |
2024-09-29 16:17:22 +0200 | <dontdieych2> | -b 9.4.8 , is it right? (whatever, nothing to lose) |
2024-09-29 16:17:46 +0200 | Vengeance | (~Vengeance@2.219.56.221) (Ping timeout: 265 seconds) |
2024-09-29 16:18:29 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 248 seconds) |
2024-09-29 16:18:36 +0200 | <dontdieych2> | bunch of warnings about libinfo |
2024-09-29 16:19:26 +0200 | <dontdieych2> | there must be some compiler flags for set manually to so.5 |
2024-09-29 16:21:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-29 16:22:23 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
2024-09-29 16:27:01 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
2024-09-29 16:30:44 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-29 16:32:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 16:33:34 +0200 | sp1ff | (~user@c-73-11-70-111.hsd1.wa.comcast.net) (Remote host closed the connection) |
2024-09-29 16:34:00 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
2024-09-29 16:34:25 +0200 | misterfish | (~misterfis@178-85-89-58.dynamic.upc.nl) misterfish |
2024-09-29 16:36:03 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-29 16:37:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-09-29 16:39:42 +0200 | ultralan | (~warty@ipservice-092-217-187-046.092.217.pools.vodafone-ip.de) ultralan |
2024-09-29 16:39:58 +0200 | ultralan | (~warty@ipservice-092-217-187-046.092.217.pools.vodafone-ip.de) (Remote host closed the connection) |
2024-09-29 16:40:34 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
2024-09-29 16:42:05 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-09-29 16:47:49 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 16:49:18 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
2024-09-29 16:49:40 +0200 | edwtjo | (~edwtjo@h-85-24-143-221.A213.priv.bahnhof.se) |
2024-09-29 16:49:40 +0200 | edwtjo | (~edwtjo@h-85-24-143-221.A213.priv.bahnhof.se) (Changing host) |
2024-09-29 16:49:40 +0200 | edwtjo | (~edwtjo@fsf/member/edwtjo) edwtjo |
2024-09-29 16:49:57 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 276 seconds) |
2024-09-29 16:53:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-09-29 17:01:17 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-09-29 17:01:28 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 17:06:14 +0200 | hiecaq` | (~hiecaq`@user/hiecaq) hiecaq |
2024-09-29 17:06:35 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-09-29 17:06:51 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
2024-09-29 17:07:56 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-29 17:16:24 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
2024-09-29 17:17:16 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 17:22:27 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-09-29 17:24:23 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-29 17:30:37 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2024-09-29 17:33:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 17:33:21 +0200 | druchan | (uid567859@id-567859.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2024-09-29 17:35:35 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
2024-09-29 17:35:35 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
2024-09-29 17:35:35 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 265 seconds) |
2024-09-29 17:35:49 +0200 | sp1ff | (~user@c-73-11-70-111.hsd1.wa.comcast.net) sp1ff |
2024-09-29 17:36:07 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-29 17:38:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-29 17:41:05 +0200 | tedbjurlin | (tedbjurlin@user/tedbjurlin) tedbjurlin |
2024-09-29 17:41:06 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
2024-09-29 17:44:52 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
2024-09-29 17:45:52 +0200 | pabs3 | (~pabs3@user/pabs3) (Remote host closed the connection) |
2024-09-29 17:47:42 +0200 | tedbjurlin | (tedbjurlin@user/tedbjurlin) (Remote host closed the connection) |
2024-09-29 17:48:41 +0200 | pabs3 | (~pabs3@user/pabs3) pabs3 |
2024-09-29 17:48:49 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 17:51:43 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
2024-09-29 17:53:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-09-29 17:54:53 +0200 | benjaminl | (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
2024-09-29 17:55:05 +0200 | <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 17:55:09 +0200 | benjaminl | (~benjaminl@user/benjaminl) benjaminl |
2024-09-29 17:56:27 +0200 | <raehik> | Ack. Wasn't there a GHC/Haskell playground that lets you view Core, advertised the other day? |
2024-09-29 17:56:35 +0200 | <raehik> | I could answer it myself if I had that |
2024-09-29 17:57:18 +0200 | <raehik> | google found it immediately :) https://play.haskell.org/ |
2024-09-29 17:58:12 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
2024-09-29 17:59:07 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2024-09-29 17:59:45 +0200 | misterfish | (~misterfis@178-85-89-58.dynamic.upc.nl) (Ping timeout: 265 seconds) |
2024-09-29 18:01:10 +0200 | druchan | (uid567859@id-567859.lymington.irccloud.com) |
2024-09-29 18:04:37 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 18:06:12 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-29 18:07:52 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
2024-09-29 18:07:54 +0200 | <raehik> | Hm. No, GHC wasn't able to combine those. That's a shame. https://play.haskell.org/saved/VfZw28Kb |
2024-09-29 18:09:25 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-09-29 18:09:34 +0200 | <raehik> | Bleh, it is an association issue. Putting the constants next to each other has GHC combine them as expected. |
2024-09-29 18:10:02 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
2024-09-29 18:10:47 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
2024-09-29 18:11:14 +0200 | <raehik> | (Oops, please read my original example as having constants 0b0001, 0b1000) |
2024-09-29 18:12:51 +0200 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
2024-09-29 18:15:21 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
2024-09-29 18:16:05 +0200 | <raehik> | Wait, no! The Core leaves the constants separate, but the ASM has them combined. Cool! |
2024-09-29 18:16:21 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
2024-09-29 18:20:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 18:21:41 +0200 | synchromesh | (~john@2406:5a00:241a:5600:e176:3a40:8bde:547a) (Read error: Connection reset by peer) |
2024-09-29 18:21:43 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
2024-09-29 18:22:26 +0200 | synchromesh | (~john@2406:5a00:241a:5600:e176:3a40:8bde:547a) synchromesh |