IRCBrowse

2024/09/29

2024-09-29 00:01:01 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 00:01:16 +0200anpad(~pandeyan@user/anpad) anpad
2024-09-29 00:05:23 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds)
2024-09-29 00:06:03 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-29 00:06:18 +0200alp(~alp@2001:861:e3d6:8f80:b4d:aea6:7f4e:74f8)
2024-09-29 00:06:32 +0200alp(~alp@2001:861:e3d6:8f80:b4d:aea6:7f4e:74f8) (Changing host)
2024-09-29 00:06:32 +0200alp(~alp@user/alp) alp
2024-09-29 00:08:50 +0200Inst(~Inst@user/Inst) Inst
2024-09-29 00:09:27 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-29 00:09:29 +0200target_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 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2024-09-29 00:16:47 +0200merijn(~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 +0200dlock23(~dlock23@160.red-81-40-78.staticip.rima-tde.net)
2024-09-29 00:19:17 +0200dlock23(~dlock23@160.red-81-40-78.staticip.rima-tde.net) (Remote host closed the connection)
2024-09-29 00:19:31 +0200dlock23(~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 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-29 00:22:02 +0200troojg(~troojg@user/troojg) troojg
2024-09-29 00:23:55 +0200bud(~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 +0200morb(~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 +0200tcard(~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 +0200tcard(~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 +0200merijn(~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 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-09-29 00:38:39 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds)
2024-09-29 00:39:12 +0200morb(~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 +0200L29Ah(~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 +0200L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2024-09-29 00:44:29 +0200morb(~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 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 00:51:14 +0200harveypwca(~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) (Quit: Leaving)
2024-09-29 00:53:35 +0200athan(~athan@syn-098-153-145-140.biz.spectrum.com) (Read error: Connection reset by peer)
2024-09-29 00:53:49 +0200athan(~athan@syn-098-153-145-140.biz.spectrum.com) athan
2024-09-29 00:55:21 +0200gioyik_(~gioyik@gateway/tor-sasl/gioyik) (Ping timeout: 260 seconds)
2024-09-29 00:58:28 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-29 01:00:39 +0200troojg(~troojg@user/troojg) (Ping timeout: 260 seconds)
2024-09-29 01:03:23 +0200athan(~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!)
2024-09-29 01:09:39 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 246 seconds)
2024-09-29 01:09:39 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 01:14:17 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-29 01:14:54 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-29 01:18:40 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2024-09-29 01:19:28 +0200gvg_(~dcd@user/gvg) gvg
2024-09-29 01:20:59 +0200Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2024-09-29 01:21:04 +0200gvg(~dcd@user/gvg) (Ping timeout: 260 seconds)
2024-09-29 01:23:46 +0200Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2024-09-29 01:25:27 +0200merijn(~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 +0200bud(~bud@user/bud) (Leaving.)
2024-09-29 01:30:26 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-09-29 01:33:39 +0200pavonia(~user@user/siracusa) siracusa
2024-09-29 01:33:41 +0200acidjnk(~acidjnk@p200300d6e72cfb1220772d8af485911b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2024-09-29 01:41:14 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 01:46:09 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-29 01:52:53 +0200ell(~ellie@user/ellie) (Read error: Connection reset by peer)
2024-09-29 01:53:02 +0200ell3(~ellie@user/ellie) ellie
2024-09-29 01:55:23 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-29 01:56:34 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 02:00:44 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds)
2024-09-29 02:01:34 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-29 02:06:28 +0200dlock23(~dlock23@160.red-81-40-78.staticip.rima-tde.net) (Leaving)
2024-09-29 02:12:20 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 02:13:26 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-29 02:17:44 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-29 02:18:59 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds)
2024-09-29 02:28:09 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 02:32:57 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-29 02:32:59 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-09-29 02:37:56 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds)
2024-09-29 02:43:28 +0200troojg(~troojg@user/troojg) troojg
2024-09-29 02:43:56 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 02:46:06 +0200alp(~alp@user/alp) (Remote host closed the connection)
2024-09-29 02:48:52 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-29 02:53:29 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 02:56:30 +0200morb(~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 +0200troojg(~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 +0200Inst(~Inst@user/Inst) (Remote host closed the connection)
2024-09-29 03:02:42 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-29 03:03:04 +0200Inst(~Inst@user/Inst) Inst
2024-09-29 03:03:36 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik
2024-09-29 03:04:38 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2024-09-29 03:05:11 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-29 03:05:25 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-09-29 03:10:47 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds)
2024-09-29 03:13:48 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 03:18:34 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-29 03:25:06 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-29 03:28:28 +0200Patrickfield(~Patrickfi@net-2-36-176-102.cust.vodafonedsl.it)
2024-09-29 03:29:34 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2024-09-29 03:29:36 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 03:31:06 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 260 seconds)
2024-09-29 03:31:41 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-29 03:32:59 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2024-09-29 03:33:28 +0200weary-traveler(~user@user/user363627) user363627
2024-09-29 03:34:38 +0200spew(~spew@201.141.99.170) spew
2024-09-29 03:34:45 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-09-29 03:35:16 +0200Patrickfield(~Patrickfi@net-2-36-176-102.cust.vodafonedsl.it) (Remote host closed the connection)
2024-09-29 03:36:21 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds)
2024-09-29 03:40:59 +0200Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2024-09-29 03:49:24 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-29 03:54:53 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds)
2024-09-29 03:57:34 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 04:04:46 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-29 04:05:01 +0200op_4(~tslil@2a01:4f8:c0c:7952::1) (Remote host closed the connection)
2024-09-29 04:05:30 +0200op_4(~tslil@user/op-4/x-9116473) op_4
2024-09-29 04:08:16 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-29 04:16:24 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 04:21:15 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-29 04:21:38 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2024-09-29 04:25:39 +0200cyphase(~cyphase@user/cyphase) (Quit: cyphase.com)
2024-09-29 04:25:56 +0200identity(~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 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds)
2024-09-29 04:32:10 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 04:33:08 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 255 seconds)
2024-09-29 04:34:20 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-29 04:36:29 +0200td_(~td@83.135.9.0) (Ping timeout: 260 seconds)
2024-09-29 04:37:11 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-09-29 04:38:14 +0200td_(~td@i53870906.versanet.de)
2024-09-29 04:45:28 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2024-09-29 04:47:56 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 04:52:53 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-29 04:55:37 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-09-29 04:56:56 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-29 05:01:44 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds)
2024-09-29 05:02:03 +0200athan(~athan@syn-098-153-145-140.biz.spectrum.com) athan
2024-09-29 05:03:44 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 05:08:34 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-29 05:08:50 +0200spew(~spew@201.141.99.170) (Read error: Connection reset by peer)
2024-09-29 05:16:04 +0200xdminsy(~xdminsy@117.147.70.99) xdminsy
2024-09-29 05:17:09 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds)
2024-09-29 05:17:49 +0200vglfr(~vglfr@2601:14d:4701:3b30:33ba:719b:bbc5:4e3a) vglfr
2024-09-29 05:18:35 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2024-09-29 05:19:32 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 05:24:22 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-09-29 05:25:16 +0200xdminsy(~xdminsy@117.147.70.99) (Ping timeout: 265 seconds)
2024-09-29 05:29:45 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-29 05:34:11 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 244 seconds)
2024-09-29 05:35:19 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 05:40:12 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-29 05:41:31 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds)
2024-09-29 05:41:56 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2024-09-29 05:47:45 +0200rvalue(~rvalue@user/rvalue) (Changing host)
2024-09-29 05:47:45 +0200rvalue(~rvalue@user/lvalue) lvalue
2024-09-29 05:50:06 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-29 05:50:21 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2024-09-29 05:51:06 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 05:54:21 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-09-29 05:56:10 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2024-09-29 05:56:41 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 265 seconds)
2024-09-29 05:56:41 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds)
2024-09-29 05:57:06 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit)
2024-09-29 05:57:39 +0200rvalue(~rvalue@user/lvalue) (Changing host)
2024-09-29 05:57:39 +0200rvalue(~rvalue@user/rvalue) rvalue
2024-09-29 05:58:15 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2024-09-29 06:04:41 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-09-29 06:06:54 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 06:09:33 +0200iamsleepy(~iamsleepy@117.242.59.149) iamsleepy
2024-09-29 06:12:09 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-29 06:18:55 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 265 seconds)
2024-09-29 06:20:23 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2024-09-29 06:21:15 +0200youthlic(~Thunderbi@user/youthlic) youthlic
2024-09-29 06:22:39 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 06:24:18 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-29 06:26:39 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 265 seconds)
2024-09-29 06:27:37 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-29 06:29:04 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds)
2024-09-29 06:33:37 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2024-09-29 06:38:28 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 06:43:33 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-09-29 06:46:58 +0200youthlic(~Thunderbi@user/youthlic) (Remote host closed the connection)
2024-09-29 06:49:31 +0200youthlic(~Thunderbi@user/youthlic) youthlic
2024-09-29 06:52:37 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 248 seconds)
2024-09-29 06:54:13 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-29 06:54:14 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 06:58:34 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2024-09-29 06:59:44 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2024-09-29 06:59:45 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-09-29 07:05:54 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 252 seconds)
2024-09-29 07:07:38 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2024-09-29 07:10:01 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 07:12:13 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-29 07:14:01 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 265 seconds)
2024-09-29 07:14:56 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-09-29 07:15:33 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2024-09-29 07:19:35 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 244 seconds)
2024-09-29 07:25:09 +0200troojg(~troojg@user/troojg) troojg
2024-09-29 07:25:49 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 07:30:49 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-29 07:33:36 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-29 07:38:32 +0200iamsleepy(~iamsleepy@117.242.59.149) (Ping timeout: 255 seconds)
2024-09-29 07:39:01 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds)
2024-09-29 07:40:43 +0200iamsleepy(~iamsleepy@117.242.59.149) iamsleepy
2024-09-29 07:41:36 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 07:46:29 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-09-29 07:51:07 +0200vincent42(uid574193@id-574193.hampstead.irccloud.com)
2024-09-29 07:51:15 +0200vincent42(uid574193@id-574193.hampstead.irccloud.com) (Changing host)
2024-09-29 07:51:15 +0200vincent42(uid574193@user/vincent42) vincent42
2024-09-29 07:53:34 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 07:58:20 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-29 08:04:16 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2024-09-29 08:08:29 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-29 08:09:19 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 08:14:14 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds)
2024-09-29 08:17:20 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-29 08:24:22 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 252 seconds)
2024-09-29 08:27:11 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-09-29 08:27:45 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 08:31:42 +0200troojg(~troojg@user/troojg) (Ping timeout: 246 seconds)
2024-09-29 08:32:48 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-29 08:37:08 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2024-09-29 08:39:05 +0200petrichor(~znc-user@user/petrichor) (Ping timeout: 265 seconds)
2024-09-29 08:43:33 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 08:44:52 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-29 08:49:04 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2024-09-29 08:49:43 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds)
2024-09-29 08:58:47 +0200xff0x(~xff0x@2405:6580:b080:900:9334:d416:507d:a2f5) (Ping timeout: 244 seconds)
2024-09-29 08:59:21 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 09:00:01 +0200tt123109783243(~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: The Lounge - https://thelounge.chat)
2024-09-29 09:00:02 +0200caconym(~caconym@user/caconym) (Quit: bye)
2024-09-29 09:00:40 +0200caconym(~caconym@user/caconym) caconym
2024-09-29 09:02:28 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-29 09:03:25 +0200tt123109783243(~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) tt1231
2024-09-29 09:04:29 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-09-29 09:07:01 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds)
2024-09-29 09:07:46 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-09-29 09:14:08 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2024-09-29 09:14:51 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2024-09-29 09:14:52 +0200ljdarj1ljdarj
2024-09-29 09:15:08 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 09:20:26 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-29 09:20:48 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-09-29 09:21:52 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-09-29 09:24:51 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2024-09-29 09:30:14 +0200xff0x(~xff0x@2405:6580:b080:900:2db7:1968:c949:1e07)
2024-09-29 09:30:55 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 09:35:51 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-29 09:40:14 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-29 09:41:50 +0200misterfish(~misterfis@84.53.85.146) misterfish
2024-09-29 09:44:17 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2024-09-29 09:45:17 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 244 seconds)
2024-09-29 09:46:42 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 09:52:00 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-09-29 09:54:33 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 09:59:48 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-29 10:03:23 +0200synchromesh(~john@2406:5a00:241a:5600:988d:bee0:a971:b921) (Read error: Connection reset by peer)
2024-09-29 10:04:48 +0200synchromesh(~john@2406:5a00:241a:5600:e176:3a40:8bde:547a) synchromesh
2024-09-29 10:10:19 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 10:15:21 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-29 10:18:10 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-29 10:19:08 +0200acidjnk(~acidjnk@p200300d6e72cfb46757e16ffb08be72b.dip0.t-ipconnect.de) acidjnk
2024-09-29 10:20:04 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds)
2024-09-29 10:29:01 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 10:31:09 +0200mzg(mzg@abusers.hu) (Quit: brb)
2024-09-29 10:31:13 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-09-29 10:31:25 +0200ubert(~Thunderbi@178.165.177.214.wireless.dyn.drei.com) ubert
2024-09-29 10:33:03 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-29 10:34:14 +0200merijn(~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 +0200Typedfern(~Typedfern@91.red-83-37-29.dynamicip.rima-tde.net) (Ping timeout: 245 seconds)
2024-09-29 10:37:44 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds)
2024-09-29 10:40:07 +0200ash3en(~Thunderbi@146.70.124.222) ash3en
2024-09-29 10:40:20 +0200ubert(~Thunderbi@178.165.177.214.wireless.dyn.drei.com) (Ping timeout: 255 seconds)
2024-09-29 10:40:26 +0200vincent42(uid574193@user/vincent42) (Quit: Connection closed for inactivity)
2024-09-29 10:42:36 +0200ubert(~Thunderbi@178.165.177.214.wireless.dyn.drei.com) ubert
2024-09-29 10:44:48 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 10:52:58 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-29 10:55:36 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 11:00:42 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-29 11:02:24 +0200ubert(~Thunderbi@178.165.177.214.wireless.dyn.drei.com) (Ping timeout: 252 seconds)
2024-09-29 11:06:27 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 11:06:34 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2024-09-29 11:07:49 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-29 11:09:12 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds)
2024-09-29 11:09:13 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2024-09-29 11:11:49 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-29 11:13:57 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds)
2024-09-29 11:14:46 +0200youthlic(~Thunderbi@user/youthlic) (Remote host closed the connection)
2024-09-29 11:17:35 +0200youthlic(~Thunderbi@user/youthlic) youthlic
2024-09-29 11:19:52 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2024-09-29 11:22:14 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 11:23:39 +0200edwtjo(~edwtjo@fsf/member/edwtjo) (Ping timeout: 276 seconds)
2024-09-29 11:29:39 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-29 11:34:54 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2024-09-29 11:37:26 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2024-09-29 11:40:41 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 11:43:06 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-29 11:43:49 +0200edwtjo(~edwtjo@fsf/member/edwtjo) edwtjo
2024-09-29 11:45:26 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2024-09-29 11:45:39 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-29 11:49:31 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds)
2024-09-29 11:56:28 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 11:59:45 +0200econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2024-09-29 12:01:21 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-29 12:04:45 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2024-09-29 12:06:40 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 272 seconds)
2024-09-29 12:12:15 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 12:17:33 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-29 12:20:13 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-29 12:26:46 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-09-29 12:28:03 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 12:31:50 +0200lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2024-09-29 12:32:53 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-09-29 12:33:46 +0200edwtjo(~edwtjo@fsf/member/edwtjo) (Quit: WeeChat 4.2.1)
2024-09-29 12:43:50 +0200merijn(~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 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds)
2024-09-29 12:46:58 +0200Typedfern(~Typedfern@91.red-83-37-29.dynamicip.rima-tde.net) typedfern
2024-09-29 12:47:17 +0200iamsleepy(~iamsleepy@117.242.59.149) (Ping timeout: 248 seconds)
2024-09-29 12:49:05 +0200iamsleepy(~iamsleepy@117.252.51.83) iamsleepy
2024-09-29 12:56:43 +0200Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2024-09-29 12:57:08 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-09-29 12:57:35 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 12:58:02 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-29 13:02:18 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-29 13:03:04 +0200mrmr155334346318(~mrmr@user/mrmr) (Quit: Bye, See ya later!)
2024-09-29 13:03:45 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds)
2024-09-29 13:03:57 +0200Typedfern(~Typedfern@91.red-83-37-29.dynamicip.rima-tde.net) (Ping timeout: 265 seconds)
2024-09-29 13:05:01 +0200ash3en1(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en
2024-09-29 13:06:22 +0200ash3en(~Thunderbi@146.70.124.222) (Ping timeout: 265 seconds)
2024-09-29 13:06:23 +0200ash3en1ash3en
2024-09-29 13:13:16 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 13:16:35 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-29 13:18:34 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-29 13:20:48 +0200petrichor(~znc-user@user/petrichor) petrichor
2024-09-29 13:22:19 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds)
2024-09-29 13:22:48 +0200mrmr155334346318(~mrmr@user/mrmr) mrmr
2024-09-29 13:22:48 +0200ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 265 seconds)
2024-09-29 13:23:07 +0200ash3en(~Thunderbi@146.70.124.222) ash3en
2024-09-29 13:26:11 +0200misterfish(~misterfis@84.53.85.146) (Ping timeout: 265 seconds)
2024-09-29 13:28:30 +0200ubert(~Thunderbi@178.165.177.214.wireless.dyn.drei.com) ubert
2024-09-29 13:29:03 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 13:36:54 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-29 13:37:22 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-29 13:39:06 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2024-09-29 13:42:08 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds)
2024-09-29 13:48:45 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 13:51:35 +0200identity(~identity@user/ZharMeny) identity
2024-09-29 13:55:11 +0200Digitteknohippie(~user@user/digit) Digit
2024-09-29 13:55:29 +0200Digit(~user@user/digit) (Ping timeout: 248 seconds)
2024-09-29 13:58:02 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-29 13:58:34 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 14:02:01 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-29 14:03:31 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-29 14:04:28 +0200ash3en1(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en
2024-09-29 14:04:51 +0200ash3en(~Thunderbi@146.70.124.222) (Ping timeout: 265 seconds)
2024-09-29 14:04:51 +0200ash3en1ash3en
2024-09-29 14:11:44 +0200Inst(~Inst@user/Inst) (Remote host closed the connection)
2024-09-29 14:12:02 +0200Inst(~Inst@user/Inst) Inst
2024-09-29 14:14:09 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2024-09-29 14:14:16 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 14:17:46 +0200ubert(~Thunderbi@178.165.177.214.wireless.dyn.drei.com) (Ping timeout: 272 seconds)
2024-09-29 14:19:21 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-29 14:30:03 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 14:35:18 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-29 14:40:14 +0200DigitteknohippieDigit
2024-09-29 14:44:07 +0200flukiluke(~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Remote host closed the connection)
2024-09-29 14:45:12 +0200flukiluke(~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) flukiluke
2024-09-29 14:45:51 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 14:50:38 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-09-29 14:58:35 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-29 14:59:30 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 15:02:42 +0200dontdieych2(~a@user/dontdieych2) dontdieych2
2024-09-29 15:02:49 +0200misterfish(~misterfis@84.53.85.146) misterfish
2024-09-29 15:03:20 +0200ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 265 seconds)
2024-09-29 15:04:44 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-29 15:05:16 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds)
2024-09-29 15:14:46 +0200cns(~Vengeance@2.219.56.221) (Ping timeout: 272 seconds)
2024-09-29 15:15:17 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 15:16:49 +0200vapid(~Vengeance@2.219.56.221)
2024-09-29 15:17:02 +0200vapid(~Vengeance@2.219.56.221) (Excess Flood)
2024-09-29 15:17:36 +0200weary-traveler(~user@user/user363627) user363627
2024-09-29 15:17:52 +0200Vengeance(~Vengeance@2.219.56.221)
2024-09-29 15:20:09 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-29 15:20:24 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-29 15:24:42 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds)
2024-09-29 15:25:06 +0200druchan(uid567859@id-567859.lymington.irccloud.com)
2024-09-29 15:25:52 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2024-09-29 15:26:10 +0200billchenchina-(~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) billchenchina
2024-09-29 15:27:19 +0200iamsleepy(~iamsleepy@117.252.51.83) (Quit: WeeChat 4.4.2)
2024-09-29 15:30:22 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik
2024-09-29 15:31:04 +0200merijn(~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 +0200merijn(~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 +0200masterbuilder(~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 +0200morb(~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 +0200misterfish(~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 +0200morb(~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 +0200merijn(~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 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-29 15:54:44 +0200polyphem(~rod@p3ee3f695.dip0.t-ipconnect.de) polyphem
2024-09-29 15:55:16 +0200masterbuilder(~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 +0200morb(~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 +0200merijn(~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 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-29 16:05:48 +0200Smiles(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 +0200Vengeance_(~Vengeance@2.219.56.221)
2024-09-29 16:16:16 +0200merijn(~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 +0200Vengeance(~Vengeance@2.219.56.221) (Ping timeout: 265 seconds)
2024-09-29 16:18:29 +0200raehik(~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 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-29 16:22:23 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection)
2024-09-29 16:27:01 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik
2024-09-29 16:30:44 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-29 16:32:02 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 16:33:34 +0200sp1ff(~user@c-73-11-70-111.hsd1.wa.comcast.net) (Remote host closed the connection)
2024-09-29 16:34:00 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection)
2024-09-29 16:34:25 +0200misterfish(~misterfis@178-85-89-58.dynamic.upc.nl) misterfish
2024-09-29 16:36:03 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-29 16:37:06 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-29 16:39:42 +0200ultralan(~warty@ipservice-092-217-187-046.092.217.pools.vodafone-ip.de) ultralan
2024-09-29 16:39:58 +0200ultralan(~warty@ipservice-092-217-187-046.092.217.pools.vodafone-ip.de) (Remote host closed the connection)
2024-09-29 16:40:34 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 260 seconds)
2024-09-29 16:42:05 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2024-09-29 16:47:49 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 16:49:18 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection)
2024-09-29 16:49:40 +0200edwtjo(~edwtjo@h-85-24-143-221.A213.priv.bahnhof.se)
2024-09-29 16:49:40 +0200edwtjo(~edwtjo@h-85-24-143-221.A213.priv.bahnhof.se) (Changing host)
2024-09-29 16:49:40 +0200edwtjo(~edwtjo@fsf/member/edwtjo) edwtjo
2024-09-29 16:49:57 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 276 seconds)
2024-09-29 16:53:03 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-29 17:01:17 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2024-09-29 17:01:28 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 17:06:14 +0200hiecaq`(~hiecaq`@user/hiecaq) hiecaq
2024-09-29 17:06:35 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-29 17:06:51 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds)
2024-09-29 17:07:56 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-29 17:16:24 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection)
2024-09-29 17:17:16 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 17:22:27 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-09-29 17:24:23 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-29 17:30:37 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2024-09-29 17:33:03 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 17:33:21 +0200druchan(uid567859@id-567859.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2024-09-29 17:35:35 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection)
2024-09-29 17:35:35 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2024-09-29 17:35:35 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 265 seconds)
2024-09-29 17:35:49 +0200sp1ff(~user@c-73-11-70-111.hsd1.wa.comcast.net) sp1ff
2024-09-29 17:36:07 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-29 17:38:01 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-29 17:41:05 +0200tedbjurlin(tedbjurlin@user/tedbjurlin) tedbjurlin
2024-09-29 17:41:06 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection)
2024-09-29 17:44:52 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik
2024-09-29 17:45:52 +0200pabs3(~pabs3@user/pabs3) (Remote host closed the connection)
2024-09-29 17:47:42 +0200tedbjurlin(tedbjurlin@user/tedbjurlin) (Remote host closed the connection)
2024-09-29 17:48:41 +0200pabs3(~pabs3@user/pabs3) pabs3
2024-09-29 17:48:49 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 17:51:43 +0200ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en
2024-09-29 17:53:57 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-29 17:54:53 +0200benjaminl(~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 +0200benjaminl(~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 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 252 seconds)
2024-09-29 17:59:07 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2024-09-29 17:59:45 +0200misterfish(~misterfis@178-85-89-58.dynamic.upc.nl) (Ping timeout: 265 seconds)
2024-09-29 18:01:10 +0200druchan(uid567859@id-567859.lymington.irccloud.com)
2024-09-29 18:04:37 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 18:06:12 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-29 18:07:52 +0200ash3en(~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 +0200merijn(~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 +0200ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en
2024-09-29 18:10:47 +0200morb(~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 +0200youthlic(~Thunderbi@user/youthlic) (Remote host closed the connection)
2024-09-29 18:15:21 +0200youthlic(~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 +0200rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2024-09-29 18:20:24 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 18:21:41 +0200synchromesh(~john@2406:5a00:241a:5600:e176:3a40:8bde:547a) (Read error: Connection reset by peer)
2024-09-29 18:21:43 +0200econo_(uid147250@id-147250.tinside.irccloud.com)
2024-09-29 18:22:26 +0200synchromesh(~john@2406:5a00:241a:5600:e176:3a40:8bde:547a) synchromesh
2024-09-29 18:24:24 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 260 seconds)
2024-09-29 18:25:24 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-29 18:26:20 +0200ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 265 seconds)
2024-09-29 18:26:52 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2024-09-29 18:27:38 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2024-09-29 18:29:15 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2024-09-29 18:29:44 +0200rvalue(~rvalue@user/rvalue) rvalue
2024-09-29 18:33:25 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-09-29 18:36:11 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 18:39:31 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-09-29 18:41:45 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-09-29 18:42:58 +0200petrichor(~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in)
2024-09-29 18:44:15 +0200Typedfern(~Typedfern@2a02:9130:9c34:14e4:39d6:bc4:e6bf:df64)
2024-09-29 18:46:29 +0200petrichor(~znc-user@user/petrichor) petrichor
2024-09-29 18:51:22 +0200petrichor(~znc-user@user/petrichor) (Ping timeout: 272 seconds)
2024-09-29 18:51:58 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 18:51:59 +0200petrichor(~znc-user@user/petrichor) petrichor
2024-09-29 18:56:08 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 252 seconds)
2024-09-29 18:57:16 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-29 18:57:57 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2024-09-29 18:59:20 +0200youthlic(~Thunderbi@user/youthlic) (Quit: youthlic)
2024-09-29 19:01:00 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2024-09-29 19:06:34 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 272 seconds)
2024-09-29 19:07:46 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 19:08:21 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik
2024-09-29 19:10:27 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2024-09-29 19:12:38 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-29 19:12:44 +0200Typedfern(~Typedfern@2a02:9130:9c34:14e4:39d6:bc4:e6bf:df64) (Ping timeout: 265 seconds)
2024-09-29 19:13:19 +0200tabemann(~tabemann@2600:1700:7990:24e0:6f50:e541:8e31:d123) (Remote host closed the connection)
2024-09-29 19:13:37 +0200tabemann(~tabemann@2600:1700:7990:24e0:bc5d:8bdb:179f:73b1)
2024-09-29 19:17:45 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 244 seconds)
2024-09-29 19:19:28 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 19:19:29 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2024-09-29 19:21:58 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-09-29 19:23:41 +0200chiselfuse(~chiselfus@user/chiselfuse) (Ping timeout: 260 seconds)
2024-09-29 19:24:21 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-29 19:25:46 +0200chiselfuse(~chiselfus@user/chiselfuse) chiselfuse
2024-09-29 19:29:55 +0200michalz(~michalz@185.246.207.221)
2024-09-29 19:31:41 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 252 seconds)
2024-09-29 19:35:14 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 19:35:23 +0200ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en
2024-09-29 19:38:37 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2024-09-29 19:38:41 +0200Typedfern(~Typedfern@2a02:9130:9c34:14e4:610d:93b4:7c84:219b) typedfern
2024-09-29 19:40:17 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-29 19:43:12 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2024-09-29 19:45:35 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-09-29 19:46:43 +0200deepfire(~user@80.92.100.69)
2024-09-29 19:48:30 +0200Typedfern(~Typedfern@2a02:9130:9c34:14e4:610d:93b4:7c84:219b) (Ping timeout: 265 seconds)
2024-09-29 19:51:02 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 19:55:47 +0200 <deepfire> Is this the best place to ask haskell.nix questions, or is there a better channel (.e.g #nixos)?
2024-09-29 19:56:14 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-29 19:59:41 +0200 <Rembane> deepfire: Try here and see what happens, otherwise some nix channel is better
2024-09-29 20:00:20 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 20:01:20 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2024-09-29 20:04:11 +0200 <raehik> deepfire: The Nix Haskell Matrix room is great for such questions
2024-09-29 20:04:26 +0200 <raehik> https://matrix.to/#/#haskell:nixos.org
2024-09-29 20:04:52 +0200 <deepfire> ooh browser.. but thank you raehik! :-)
2024-09-29 20:05:17 +0200 <geekosaur> there are non-browser clients, although by default it'll probably suggest app.element.io
2024-09-29 20:05:25 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-29 20:05:28 +0200 <geekosaur> (I use Nheko via flatpak)
2024-09-29 20:06:48 +0200 <mauke> the problem with matrix is that it has no good clients
2024-09-29 20:07:20 +0200 <geekosaur> you haven't seen the trainwreck that's the server side, I take it 😛
2024-09-29 20:07:30 +0200 <mauke> :-(
2024-09-29 20:07:59 +0200 <geekosaur> recent releases of synapse have been scrambling room state on a regular basis
2024-09-29 20:08:44 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds)
2024-09-29 20:08:49 +0200Typedfern(~Typedfern@255.red-81-47-23.dynamicip.rima-tde.net) typedfern
2024-09-29 20:14:48 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-29 20:16:04 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 20:19:42 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2024-09-29 20:20:10 +0200ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2024-09-29 20:20:29 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection)
2024-09-29 20:21:18 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2024-09-29 20:23:22 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2024-09-29 20:25:22 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2024-09-29 20:31:51 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 20:36:33 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-29 20:38:00 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 20:40:09 +0200billchenchina-(~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Remote host closed the connection)
2024-09-29 20:42:24 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2024-09-29 20:43:05 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich)
2024-09-29 20:43:07 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2024-09-29 20:43:08 +0200ljdarj1ljdarj
2024-09-29 20:43:14 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-29 20:43:20 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 255 seconds)
2024-09-29 20:43:37 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-09-29 20:45:15 +0200Typedfern(~Typedfern@255.red-81-47-23.dynamicip.rima-tde.net) (Ping timeout: 276 seconds)
2024-09-29 20:49:39 +0200 <haskellbridge> <sm> Element on mac is good for me (and Element X on ios is fine)
2024-09-29 20:50:59 +0200L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2024-09-29 20:51:02 +0200 <geekosaur> I'm getting lots of weirdshit on the web version in firefox (but not chrome for some reason)
2024-09-29 20:51:21 +0200 <geekosaur> like none of the UI strings are being looked up and translated
2024-09-29 20:52:21 +0200 <geekosaur> "timeline|summary|format" for joins/parts, etc.
2024-09-29 20:52:24 +0200 <haskellbridge> <sm> plenty of changes at https://github.com/element-hq/synapse/releases I see
2024-09-29 20:52:42 +0200 <haskellbridge> <sm> I do feel like matrix.org got faster yesterday
2024-09-29 20:53:16 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds)
2024-09-29 20:53:42 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 20:53:53 +0200 <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 20:54:14 +0200 <mauke> so I effectively have a non-contiguous message timeline
2024-09-29 20:54:21 +0200 <haskellbridge> <sm> ah, that sucks. Clearing cache in settings didn't help yet ?
2024-09-29 20:54:30 +0200 <haskellbridge> <sm> I've heard posting a new message can help
2024-09-29 20:54:44 +0200 <mauke> how do you even create a bug like that?
2024-09-29 20:55:22 +0200 <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 20:55:31 +0200 <haskellbridge> <sm> well... think about how much distributed state this is... and the logic complexities
2024-09-29 20:56:02 +0200 <mauke> sortBy (comparing timestamp)
2024-09-29 20:56:10 +0200 <haskellbridge> <sm> I hear you :)
2024-09-29 20:57:07 +0200 <haskellbridge> <sm> which timestamp
2024-09-29 20:57:35 +0200 <mauke> I assume each message has an associated timestamp
2024-09-29 20:57:45 +0200robobub(uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2024-09-29 20:58:15 +0200 <haskellbridge> <sm> I'm guessing there's quite a lot of timestamps flowing around
2024-09-29 20:58:20 +0200 <geekosaur> "origin_server_ts"
2024-09-29 20:58:38 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-09-29 20:58:55 +0200 <haskellbridge> <sm> and which of them do you trust
2024-09-29 20:58:57 +0200 <monochrom> Stupid bugs are not worth defending.
2024-09-29 20:59:32 +0200 <mauke> the one it uses to render the message timestamp
2024-09-29 20:59:41 +0200Typedfern(~Typedfern@2a02:9130:9c34:14e4:a221:40a0:af5b:f354) typedfern
2024-09-29 20:59:48 +0200alp(~alp@2001:861:e3d6:8f80:9956:3934:6a0b:7b98)
2024-09-29 20:59:48 +0200 <geekosaur> sm, timestamps are going to screw you no matter what ("falsehoods programmers believe about time" etc.)
2024-09-29 20:59:58 +0200 <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 20:59:58 +0200alp(~alp@2001:861:e3d6:8f80:9956:3934:6a0b:7b98) (Changing host)
2024-09-29 20:59:58 +0200alp(~alp@user/alp) alp
2024-09-29 20:59:59 +0200 <geekosaur> origin server timestamp is about as good as you're going to do
2024-09-29 21:00:02 +0200caconym(~caconym@user/caconym) (Quit: bye)
2024-09-29 21:00:08 +0200 <mauke> which is 2024-09-25 20:25, but it shows after messages on 2024-09-28
2024-09-29 21:00:09 +0200 <monochrom> Also, stupid bugs are plentiful.
2024-09-29 21:00:18 +0200 <mauke> this is purely a frontend/rendering bug
2024-09-29 21:00:30 +0200 <mauke> if it can display a timestamp on each message, it can sort by that timestamp
2024-09-29 21:00:40 +0200caconym(~caconym@user/caconym) caconym
2024-09-29 21:01:01 +0200 <haskellbridge> <sm> also they are overloaded/underfunded, so things have to wait
2024-09-29 21:01:01 +0200 <geekosaur> definitely is, I had that bug in some rooms on regular Element for Android but not Element Web or Nheko
2024-09-29 21:01:28 +0200 <geekosaur> still have no clue why or why it resolved itself eventually
2024-09-29 21:01:48 +0200 <mauke> sm: I don't see anything about caching in settings
2024-09-29 21:01:54 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds)
2024-09-29 21:02:21 +0200 <mauke> hah, "Deactivate account" isn't localized
2024-09-29 21:02:22 +0200 <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 21:02:22 +0200 <geekosaur> X apparentlyy has some ugly hacl
2024-09-29 21:02:25 +0200 <haskellbridge> <sm> mauke: it's hidden in Help & About probably
2024-09-29 21:02:54 +0200 <monochrom> You don't need complexity for stupid bugs. You just need stupidity. Which is pervasive.
2024-09-29 21:03:16 +0200 <mauke> there is no Help; About is just a bunch of web links
2024-09-29 21:03:25 +0200 <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 21:03:43 +0200vglfr(~vglfr@2601:14d:4701:3b30:33ba:719b:bbc5:4e3a) (Ping timeout: 252 seconds)
2024-09-29 21:03:51 +0200vglfr(~vglfr@2607:fb91:82c:97cb:ac39:6af1:e36b:6d36) vglfr
2024-09-29 21:03:58 +0200 <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 21:04:40 +0200 <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 21:05:08 +0200 <haskellbridge> <sm> Be careful of the trap! tapping 8 or 9 times risks deactivating account 🤣
2024-09-29 21:07:11 +0200 <haskellbridge> <mauke> Ah, that did the trick
2024-09-29 21:07:49 +0200 <mauke> very bizarre
2024-09-29 21:09:29 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 21:09:58 +0200td_(~td@i53870906.versanet.de) (Ping timeout: 252 seconds)
2024-09-29 21:10:09 +0200vglfr(~vglfr@2607:fb91:82c:97cb:ac39:6af1:e36b:6d36) (Ping timeout: 246 seconds)
2024-09-29 21:10:40 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 265 seconds)
2024-09-29 21:11:06 +0200vglfr(~vglfr@2607:fb91:871:453a:ac39:c391:b245:38fc) vglfr
2024-09-29 21:11:41 +0200td_(~td@i53870935.versanet.de) td_
2024-09-29 21:13:56 +0200 <deepfire> ..all this makes me wonder, why do people willingly suffer Matrix..
2024-09-29 21:14:29 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-09-29 21:14:52 +0200 <deepfire> like it's some sort of golden land of opportunity and adventure
2024-09-29 21:15:03 +0200 <haskellbridge> <sm> what do you use ?
2024-09-29 21:15:26 +0200 <haskellbridge> <sm> yes, it kind of is that
2024-09-29 21:16:03 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik
2024-09-29 21:25:04 +0200vglfr(~vglfr@2607:fb91:871:453a:ac39:c391:b245:38fc) (Ping timeout: 260 seconds)
2024-09-29 21:25:16 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 21:25:39 +0200vglfr(~vglfr@2607:fb91:89c:d5ab:ad3:f757:e3f3:d131) vglfr
2024-09-29 21:26:00 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-29 21:28:27 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection)
2024-09-29 21:29:28 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-29 21:30:06 +0200alp(~alp@user/alp) (Remote host closed the connection)
2024-09-29 21:30:45 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-09-29 21:31:04 +0200xal(~xal@mx1.xal.systems) (Quit: bye)
2024-09-29 21:31:13 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection)
2024-09-29 21:31:33 +0200xal(~xal@mx1.xal.systems) xal
2024-09-29 21:32:52 +0200ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en)
2024-09-29 21:33:04 +0200lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds)
2024-09-29 21:43:14 +0200 <monochrom> I would think that IRC is what takes willing suffering. :)
2024-09-29 21:48:38 +0200 <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 21:50:01 +0200vglfr(~vglfr@2607:fb91:89c:d5ab:ad3:f757:e3f3:d131) (Read error: Connection reset by peer)
2024-09-29 21:50:21 +0200vglfr(~vglfr@2601:14d:4701:3b30:1fe4:7d96:24fc:3638) vglfr
2024-09-29 21:50:37 +0200 <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 21:50:55 +0200 <darkling> If a tree falls in the forest, etc...
2024-09-29 21:51:03 +0200 <geekosaur> that sounds like an incorrect understanding of IRCv3
2024-09-29 21:51:28 +0200 <geekosaur> it has the extensibility needed to support these features, but nobody has actually implemented any of them
2024-09-29 21:51:35 +0200 <geekosaur> in either server or clients
2024-09-29 21:51:42 +0200 <TMA> yes, that might be the name.
2024-09-29 21:51:54 +0200 <geekosaur> (the server we're on supports IRCv3)
2024-09-29 21:53:28 +0200 <Rembane> I think Weechat supports some of them. I need to read up on this!
2024-09-29 21:53:37 +0200 <geekosaur> I mean, it already has a spec for typing notifications but good luck finding clients that use it
2024-09-29 21:54:10 +0200dontdieych2(~a@user/dontdieych2) (Quit: WeeChat 4.4.2)
2024-09-29 21:54:52 +0200 <monochrom> Also, "future version" is euphemism for vapourware. :)
2024-09-29 21:54:57 +0200 <Rembane> I don't want typing notifications, they stress me out.
2024-09-29 21:55:02 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-29 21:55:37 +0200 <haskellbridge> <sm> agreed, turn them off
2024-09-29 21:55:45 +0200 <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 21:56:05 +0200haskellbridgesm doesn't send them but still receives them, when that's allowed... which is cheating
2024-09-29 21:56:12 +0200 <geekosaur> neh, they'll start showing up after everyone has already abandoned IRC
2024-09-29 21:56:43 +0200 <monochrom> Yeah that too. :)
2024-09-29 21:56:51 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 21:57:48 +0200 <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 21:58:23 +0200 <yushyin> seems like weechat has +typing support since sept. 2021 o.O
2024-09-29 21:58:26 +0200 <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 21:58:49 +0200 <monochrom> Um you don't believe in taking time to write and proofread properly before pressing enter? :)
2024-09-29 21:59:31 +0200 <monochrom> OK OK I will write and proofread properly in emacs before pasting into matrix. :)
2024-09-29 21:59:47 +0200 <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 21:59:57 +0200 <haskellbridge> <sm> I don't think typing notifications come over the irc bridge, you're fine monochrom :)
2024-09-29 22:00:09 +0200 <TMA> more patience is needed for IRCv3 :)
2024-09-29 22:00:23 +0200 <haskellbridge> <sm> so, who's going to build the actually good matrix client in haskell ?
2024-09-29 22:00:43 +0200 <haskellbridge> <sm> or an actually good server for that matter
2024-09-29 22:01:00 +0200 <haskellbridge> <sm> (which is easier ? I'm guessing client)
2024-09-29 22:01:33 +0200 <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 22:01:35 +0200 <__monty__> Not a fan of GlIRC?
2024-09-29 22:01:49 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-29 22:01:54 +0200 <haskellbridge> <sm> geekosaur: yes!
2024-09-29 22:02:02 +0200 <glguy> __monty__: glirc isn't a matrix client
2024-09-29 22:03:42 +0200 <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 22:04:02 +0200 <__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 22:04:20 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2024-09-29 22:04:42 +0200 <glguy> I guess. For me the only thing worse than using Matrix would be using Matrix via an IRC client
2024-09-29 22:05:02 +0200 <geekosaur> you mean weechat-matrix?
2024-09-29 22:05:04 +0200 <haskellbridge> <sm> geekosaur: yeah :-/ uh.. a bot then ?
2024-09-29 22:05:06 +0200 <__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 22:05:22 +0200 <geekosaur> yeh, they all have big problems
2024-09-29 22:05:43 +0200 <geekosaur> and the matrix spec is a moving target that I'm not sure client devs can keep up with
2024-09-29 22:07:08 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection)
2024-09-29 22:07:16 +0200pdxleif(~ubuntu@ec2-35-163-144-64.us-west-2.compute.amazonaws.com) pdxleif
2024-09-29 22:07:46 +0200 <pdxleif> What's the option to get GHCi to show the foralls in type signatures explicitly?
2024-09-29 22:08:10 +0200 <geekosaur> -fprint-explicit-foralls, unsurprisingly
2024-09-29 22:08:28 +0200 <Rembane> Speaking of chats... I must post this: https://xkcd.com/1782/
2024-09-29 22:11:43 +0200 <__monty__> Especially when Element does an Olm rugpull with a big ol' CVE.
2024-09-29 22:12:37 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 22:13:21 +0200druchan(uid567859@id-567859.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2024-09-29 22:13:42 +0200 <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 22:14:49 +0200 <__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 22:15:31 +0200 <haskellbridge> <sm> yeah, it depends. On an older machine I can imagine the element web app might be the best option
2024-09-29 22:16:12 +0200 <haskellbridge> <sm> and element x, the newer lighter element replacement, probably doesn't run on your machine yet
2024-09-29 22:16:54 +0200 <haskellbridge> <sm> Rembane :)
2024-09-29 22:17:25 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-29 22:20:05 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 248 seconds)
2024-09-29 22:20:09 +0200 <__monty__> I think the web app doesn't work for me anymore. Not enough hardware acceleration or something.
2024-09-29 22:20:26 +0200 <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 22:20:39 +0200 <haskellbridge> <sm> But it's rust. I'm not sure how callable that would be from haskell.
2024-09-29 22:21:09 +0200 <__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 22:21:46 +0200 <haskellbridge> <sm> __monty__: that seems like the latest, it's what I have
2024-09-29 22:22:00 +0200 <haskellbridge> <sm> weird, any other browser you could try ?
2024-09-29 22:22:57 +0200 <__monty__> Don't want to try Chrome so not really I don't think?
2024-09-29 22:23:58 +0200 <haskellbridge> <sm> it should definitely be working in firefox, seems worth bugtracker investigation
2024-09-29 22:26:03 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik
2024-09-29 22:26:26 +0200haskellbridgesm found a few alternatives at https://www.tecmint.com/linux-web-browsers . Anyway, hope something works
2024-09-29 22:27:03 +0200 <geekosaur> app.element.io refused to run on konqueror 😞
2024-09-29 22:27:18 +0200 <geekosaur> (after producing a lot of untranslated ui strings on my firefox)
2024-09-29 22:30:27 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-29 22:30:27 +0200synchromesh(~john@2406:5a00:241a:5600:e176:3a40:8bde:547a) (Read error: Connection reset by peer)
2024-09-29 22:32:01 +0200synchromesh(~john@2406:5a00:241a:5600:e176:3a40:8bde:547a) synchromesh
2024-09-29 22:33:14 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2024-09-29 22:33:47 +0200 <haskellbridge> <sm> challenge: build a super-lean minimal matrix client in hell or microhs
2024-09-29 22:34:56 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds)
2024-09-29 22:34:57 +0200 <haskellbridge> <sm> for the former, your building blocks are: https://chrisdone.github.io/hell/api
2024-09-29 22:35:44 +0200Typedfern(~Typedfern@2a02:9130:9c34:14e4:a221:40a0:af5b:f354) (Ping timeout: 265 seconds)
2024-09-29 22:36:47 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2024-09-29 22:41:06 +0200 <haskellbridge> <sm> hmm, not much about networking in there
2024-09-29 22:41:26 +0200 <haskellbridge> <sm> but that's a quick PR away
2024-09-29 22:44:11 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 22:45:06 +0200 <deepfire> geekosaur: is there a way to circumvent nheko's insistence on failing without it being able to access "secure storage"?
2024-09-29 22:45:24 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 265 seconds)
2024-09-29 22:45:35 +0200 <geekosaur> I have no idea, I've never seen that
2024-09-29 22:45:49 +0200 <geekosaur> might require some part of the KDE services (kwalletd?)
2024-09-29 22:46:16 +0200 <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 22:47:06 +0200 <geekosaur> `dbus-launch nheko`?
2024-09-29 22:48:17 +0200Typedfern(~Typedfern@2a02:9130:9c34:14e4:99e7:1e2d:3a90:e394) typedfern
2024-09-29 22:49:14 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-29 22:58:15 +0200 <deepfire> ok, I had to cave in and come up with a secret storage backend
2024-09-29 22:58:56 +0200weary-traveler(~user@user/user363627) user363627
2024-09-29 22:59:59 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 23:03:57 +0200jinsun_(~jinsun@user/jinsun) jinsun
2024-09-29 23:03:57 +0200jinsunGuest2324
2024-09-29 23:03:57 +0200jinsun_jinsun
2024-09-29 23:04:03 +0200Guest2324(~jinsun@user/jinsun) ()
2024-09-29 23:04:11 +0200jinsun(~jinsun@user/jinsun) (Client Quit)
2024-09-29 23:04:36 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-29 23:12:27 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2024-09-29 23:15:46 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 23:17:29 +0200aforemny(~aforemny@i59F4C7BB.versanet.de) aforemny
2024-09-29 23:17:49 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik
2024-09-29 23:17:50 +0200 <[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 23:20:22 +0200 <[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 23:20:47 +0200weary-traveler(~user@user/user363627) user363627
2024-09-29 23:20:53 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-09-29 23:22:09 +0200 <dolio> Cabal does -O by default.
2024-09-29 23:23:37 +0200 <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 23:23:59 +0200 <dolio> And by "do that" I mean turn off those optimizations in that case.
2024-09-29 23:24:40 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-09-29 23:27:51 +0200juri_(~juri@implicitcad.org) juri_
2024-09-29 23:30:36 +0200andrewboltachev(~andrey@178.141.123.3) andrewboltachev
2024-09-29 23:30:59 +0200 <[exa]> hm maybe I should simply provide some kind of install copypaste that has the inlining -f's in it
2024-09-29 23:31:33 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 23:31:33 +0200 <[exa]> "if you forget the 2 flags, stuff is gonna get veeeeeeeeeeery slow"
2024-09-29 23:32:18 +0200 <[exa]> dolio: anyway thanks for confirming the -O, I looked at some docs and it didn't look very obvious there
2024-09-29 23:33:21 +0200 <monochrom> I used "cabal install -v" to discover it. :)
2024-09-29 23:33:39 +0200 <geekosaur> cabal file no, cabal.project{,.local} yes
2024-09-29 23:33:52 +0200 <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 23:34:17 +0200 <geekosaur> https://github.com/geekosaur/xmonad.hs/blob/hilfy-2023/cabal.project.local
2024-09-29 23:34:51 +0200 <monochrom> It is somewhere in the docs since the vast improvement some years ago. But not back in my days.
2024-09-29 23:35:00 +0200 <dolio> The docs for `optimization:` also tell you this.
2024-09-29 23:35:09 +0200misterfish(~misterfis@87.215.131.102) misterfish
2024-09-29 23:35:57 +0200 <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 23:35:57 +0200 <andrewboltachev> the [*] type)?
2024-09-29 23:36:36 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-09-29 23:37:12 +0200 <monochrom> Yes, Set again.
2024-09-29 23:37:31 +0200michalz(~michalz@185.246.207.221) (Remote host closed the connection)
2024-09-29 23:37:53 +0200 <dolio> Between which two objects is `fst` supposed to be an arrow?
2024-09-29 23:38:19 +0200 <dolio> I assume (,) is the domain, but what is the codomain?
2024-09-29 23:38:23 +0200 <andrewboltachev> monochrom: I tried. but faced some problems. E.g., is (_, _) a set?
2024-09-29 23:38:55 +0200 <monochrom> No. But for each set X and Y, (X,Y) is a set, most people write XxY.
2024-09-29 23:38:57 +0200 <andrewboltachev> dolio: codomain is something that will be in place of the first element of (_, _)
2024-09-29 23:39:16 +0200 <dolio> But what actually is it? :)
2024-09-29 23:39:51 +0200 <andrewboltachev> (_, _) is a product type with two parameters :-) sort of...
2024-09-29 23:40:08 +0200 <dolio> No, what is the codomain object?
2024-09-29 23:40:44 +0200 <andrewboltachev> one example is Int is a type with 0 parameters. other example maybe other type, even the same like another (_, _)
2024-09-29 23:41:59 +0200 <andrewboltachev> "fst" arrow from (_, _) might even point to itself. similar to data Stream a = Cons a (Stream a)
2024-09-29 23:42:52 +0200 <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 23:44:06 +0200 <andrewboltachev> *category Set and functors
2024-09-29 23:47:02 +0200 <andrewboltachev> 'cause real goal is to refactor this data structure by, say, applying a function to some of "leaf nodes"
2024-09-29 23:47:19 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 23:48:04 +0200troojg(~troojg@user/troojg) troojg
2024-09-29 23:50:59 +0200 <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 23:51:23 +0200 <andrewboltachev> I only cannot reason about it category-theoretically
2024-09-29 23:52:20 +0200Eoco_(~ian@128.101.131.218) (Quit: WeeChat 4.1.1)
2024-09-29 23:52:33 +0200 <ncf> are we supposed to read these 2759 lines to understand this "intuitively very clear" thing you're talking about?
2024-09-29 23:52:35 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-29 23:53:13 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2024-09-29 23:53:22 +0200 <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 23:53:34 +0200ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2024-09-29 23:54:02 +0200 <dolio> Possibly with some kind of naturality involved.
2024-09-29 23:54:15 +0200 <dolio> Anyhow, something like that is a possibility.
2024-09-29 23:57:11 +0200 <andrewboltachev> ncf: no. just trying to proof that I made something real, not just idea
2024-09-29 23:59:28 +0200 <andrewboltachev> dolio: so, is n a number (e.g. 3) and Set^3 -> Set a function from three sets to one?