00:08:48 -!- adu_ has joined.
00:09:41 -!- adu_ has quit (Client Quit).
00:10:25 -!- adu has quit (Ping timeout: 240 seconds).
00:35:04 -!- arseniiv has quit (Ping timeout: 256 seconds).
01:06:11 -!- adu has joined.
01:14:15 <esowiki> [[FizzBuzz]] https://esolangs.org/w/index.php?diff=77672&oldid=77666 * JonoCode9374 * (+49)
01:16:21 <esowiki> [[User:Tetrapyronia]] M https://esolangs.org/w/index.php?diff=77673&oldid=77659 * Tetrapyronia * (-348)
01:35:26 -!- tromp has quit (Read error: Connection reset by peer).
01:36:38 -!- tromp has joined.
02:24:19 -!- adu has quit (Quit: adu).
02:25:29 -!- adu has joined.
02:58:26 -!- hakatashi1 has joined.
03:02:14 -!- hakatashi has quit (Ping timeout: 256 seconds).
03:09:55 -!- adu has quit (Quit: adu).
03:12:01 -!- adu has joined.
03:21:45 <imode> so I'm on the verge of having a "production" thue. with builtins I can access the outside world and perform syscalls, and I can generate either C or assembly. average rewrite speed is 6 to 12ns.
03:42:00 -!- adu has quit (Quit: adu).
03:56:09 -!- adu has joined.
04:40:24 -!- MDude has quit (Quit: Going offline, see ya! (www.adiirc.com)).
05:17:03 -!- Lord_of_Life_ has joined.
05:19:18 -!- Lord_of_Life has quit (Ping timeout: 260 seconds).
05:19:18 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
06:19:23 -!- Sgeo has quit (Read error: Connection reset by peer).
07:12:04 -!- sprocklem has quit (Ping timeout: 258 seconds).
07:16:22 -!- adu has quit (Quit: adu).
07:22:44 <esowiki> [[Triad]] https://esolangs.org/w/index.php?diff=77674&oldid=77668 * Quelklef * (+74)
07:52:58 -!- imode has quit (Ping timeout: 265 seconds).
08:09:42 -!- hendursaga has joined.
08:11:23 -!- hendursa1 has quit (Ping timeout: 240 seconds).
08:16:30 -!- sebbu has quit (Quit: reboot).
08:21:54 <esowiki> [[Flurry]] https://esolangs.org/w/index.php?diff=77675&oldid=70895 * Bubbler * (+475)
08:32:19 -!- sebbu has joined.
08:37:51 -!- cpressey has joined.
09:02:55 -!- t20kdc has joined.
09:17:57 <esowiki> [[Flurry]] https://esolangs.org/w/index.php?diff=77676&oldid=77675 * Bubbler * (+178)
10:32:44 -!- cpressey has quit (Quit: WeeChat 1.9.1).
11:08:04 -!- cpressey has joined.
11:13:01 -!- LKoen has joined.
11:55:36 -!- aaaaaa has joined.
11:56:02 -!- cpressey has quit (Quit: WeeChat 1.9.1).
12:28:43 -!- arseniiv has joined.
12:43:59 -!- t20kdc has quit (Read error: Connection reset by peer).
12:47:06 -!- aaaaaa has quit (Ping timeout: 258 seconds).
12:59:04 -!- Lord_of_Life has quit (Read error: Connection reset by peer).
13:00:03 -!- Lord_of_Life has joined.
13:04:34 -!- t20kdc has joined.
13:11:45 -!- cpressey has joined.
13:13:34 -!- adu has joined.
13:13:58 -!- adu has quit (Client Quit).
13:20:24 -!- aaaaaa has joined.
13:21:29 -!- aaaaaa has quit (Client Quit).
13:29:20 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”).
13:34:01 -!- MDude has joined.
13:51:23 -!- Sgeo has joined.
14:08:43 <arseniiv> are there any image editors which operate on complex-valued colors?
14:10:16 <arseniiv> of course one would need to take a real part, an imaginary part, or an absolute value to get an image which can be displayed, but OTOH this setup will allow interesting layer modes and something like interference
14:11:01 <b_jonas> but maybe there are filters in normal image editors that do something treating pairs of channels as a complex number
14:11:18 <arseniiv> also one would be able to do FFT correctly, maybe play with phases in frequency domain and then make inverse FFT and see what it did to the image
14:11:51 <arseniiv> <b_jonas> but maybe there are filters in normal image editors that do something treating pairs of channels as a complex number => this would be nice!
14:12:12 <arseniiv> I think in the present GIMP version there’s none but I’ll be happy to be mistaken
14:13:13 <arseniiv> also nice morniveninghternoon everyone
14:14:14 <cpressey> interesting, but there is a slight mismatch, in that colours have three parts where complex numbers have only two
14:14:29 <cpressey> are there, uh, triplex numbers of some sort
14:15:49 <cpressey> maybe quaternions and then you drop one of the parts?
14:16:08 <b_jonas> cpressey: you can ignore one channels, or use something like ImageMagick 7 that can handle 2 or 4 channels
14:18:03 <cpressey> transparency adds an extra channel
14:18:32 <b_jonas> it can handle 5 channels too
14:18:43 <b_jonas> in particular there are operations that work on CYMKA images
14:19:46 <cpressey> it's ok, i have no idea how to do anything with quaternions anyway
14:21:51 <arseniiv> <cpressey> interesting, but there is a slight mismatch, in that colours have three parts where complex numbers have only two => I suggest complexifying the color space, so there would be six channels in general
14:23:32 <arseniiv> quaternions might be interesting too, though one should consider using something like CIE L*a*b* to map to them, as we’d want the quaternion norm to mean something nice like the color difference estimate, ΔE or how it’s called
14:24:46 <arseniiv> though I considered complex numbers mainly because they “allow interference” and more or less because of FFT too
14:25:08 <arseniiv> then you absolutely get a complexification of your starting space
14:31:11 <Arcorann_> https://imagemagick.org/script/command-line-options.php#complex <-- I don't really know what it does, but this mentions conjugate and real-imaginary
14:44:18 -!- cpressey has quit (Quit: WeeChat 1.9.1).
15:23:45 -!- cpressey has joined.
15:40:46 -!- Arcorann_ has quit (Read error: Connection reset by peer).
15:59:38 -!- cpressey has quit (Quit: WeeChat 1.9.1).
16:03:00 <arseniiv> @tell Arcorann_ oh, really mysterious switch. I couldn’t find anything about it too!
16:09:45 -!- relrod has quit (Ping timeout: 240 seconds).
16:09:59 <esowiki> [[Sploosh]] N https://esolangs.org/w/index.php?oldid=77677 * Star651 * (+7935) They're coming to tape up the fence.
16:14:33 -!- relrod has joined.
16:14:35 -!- relrod has quit (Changing host).
16:14:35 -!- relrod has joined.
16:22:56 <rain1> just realized for matrices (A+B)^n = AAAAAA+AAAABA+ABABAABA+BABABA+...
16:28:03 -!- LKoen has joined.
16:37:11 -!- iovoid has quit (Read error: Connection reset by peer).
16:37:17 -!- voidio has joined.
16:58:06 -!- Robdgreat has joined.
17:18:12 -!- Lord_of_Life_ has joined.
17:19:19 <arseniiv> rain1: yeah, the sum of all possible products of A and B of n factors
17:19:43 <int-e> But they should all have the same length!!!!1
17:19:50 -!- Lord_of_Life has quit (Ping timeout: 260 seconds).
17:21:00 <arseniiv> for all the lengths, one can take (1 − (A + B))^−1: 1 + A + B + AA + AB + BA + BB + AAA + …
17:21:04 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
17:22:33 <arseniiv> a shame x ↦ 1/(1 − x) has no widespread short notation. Except maybe x* in a couple of cases
17:24:24 <int-e> 1/(1-x) is very compact already
17:24:27 <arseniiv> . o O ( (List sin) t = 1 + sin t + (sin t)² + (sin t)³ + … )
17:25:16 <int-e> why not t + sin t + sin (sin t) + sin (sin (sin t)) + ...
17:25:21 <arseniiv> that’s a lot less intuitive than what I actually propose, [sin] t
17:25:30 <arseniiv> int-e: depends on the semiring!
17:25:59 <int-e> sin isn't linear ;)
17:26:27 <int-e> so you don't get a semiring
17:26:46 <int-e> ...where multiplication is composition.
17:26:46 <arseniiv> I mean, I used a semiring of functions with a argumentwise + and ×
17:27:07 <arseniiv> yes we should name that thing some other way then
17:27:18 <int-e> arseniiv: I know what you did, but I focussed on what I did :P
17:28:07 <arseniiv> hm what would come of a semiring without distributivity? It’s the only reason we call something ring-like…
17:29:22 <arseniiv> wait, at least composition distributes from the left: (f + g) ∘ h = f ∘ h + g ∘ h
17:30:27 -!- t20kdc has quit (Remote host closed the connection).
17:30:31 <arseniiv> may I say again this channel is the best
17:31:11 -!- t20kdc has joined.
17:32:32 <int-e> arseniiv: There's a whole mess even when you demand that the multiplication is bilinear: https://en.wikipedia.org/wiki/Non-associative_algebra
17:32:59 <int-e> Maybe there's a concept of a(n associative) left algebra somewhere?
17:34:07 <arseniiv> I was shown a silly conversation screenshoot involving Pythagorean theorem and then noticed it doesn’t imply euclidean structure as I thought, but is universal for quadratic spaces
17:34:47 <arseniiv> non-associative algebras aren’t my favorite, yeah
17:36:41 <int-e> I barely know that they're a thing.
17:37:44 <arseniiv> <int-e> Maybe there's a concept of a(n associative) left algebra somewhere? => hmm maybe that’s useful in those module studies, when the ring of scalars is very bad so even usual “two-sided” algebras don’t arise?
17:38:28 <arseniiv> <int-e> I barely know that they're a thing. => but how about many Lie algebras like 3D vectors with cross product?
17:39:04 <arseniiv> if not for those things, I’d forgot about non-unital non-assoc algebras with a light heart
17:39:38 <int-e> Well, "like cross product" is all I know about Lie algebras.
17:40:16 <arseniiv> I know they can be logarithmed to Lie algebras :-|
17:40:30 <int-e> Are there any Truth algebras...
17:40:46 <arseniiv> boolean algebras aren’t the Truth?
17:40:54 <int-e> (weak pun, but it had to be done)
17:41:19 <int-e> Boolean algebras are ambivalent.
17:41:33 <int-e> self-dual, and all that
17:41:42 <int-e> So you never know what is true and what is false.
17:42:26 <int-e> Much like real life.
17:43:06 <arseniiv> what’s fun there’s also a weak pun in Russian which conflates “алгебра Ли” (Lie algebra) with “алгебра ли” (<really?> an algebra), like “это алгебра ли” “is this really an algebra”
17:44:04 <arseniiv> <int-e> So you never know what is true and what is false. => then maybe Heyting algebras?
17:47:42 <arseniiv> hm can we try to factor the set of all these by all the Boolean algebras?.. seems ill-defined
17:55:46 -!- voidio has changed nick to iovoid.
18:04:09 <esowiki> [[Language list]] https://esolangs.org/w/index.php?diff=77678&oldid=77670 * Star651 * (+14) adding Sploosh
18:16:14 <esowiki> [[Infinifuck]] N https://esolangs.org/w/index.php?oldid=77679 * Quelklef * (+361) Created page with "''infinifuck'' is a [[brainfuck]] derivative. It is exactly equivalent to brainfuck, except for the following differences and/or clarifications: # Cells are unbounded integer..."
18:17:58 <esowiki> [[Infinifuck]] https://esolangs.org/w/index.php?diff=77680&oldid=77679 * Quelklef * (+110)
18:18:11 <esowiki> [[Language list]] https://esolangs.org/w/index.php?diff=77681&oldid=77678 * Quelklef * (+17)
18:31:43 -!- sprocklem has joined.
18:35:09 <esowiki> [[Infinifuck]] https://esolangs.org/w/index.php?diff=77682&oldid=77680 * Star651 * (+41) languages and 2020 category
18:50:27 <esowiki> [[Infinifuck]] https://esolangs.org/w/index.php?diff=77683&oldid=77682 * Quelklef * (+181)
19:01:42 <esowiki> [[Infinifuck]] https://esolangs.org/w/index.php?diff=77684&oldid=77683 * Quelklef * (+4)
19:02:20 <esowiki> [[User:Quelklef]] https://esolangs.org/w/index.php?diff=77685&oldid=77669 * Quelklef * (+125)
19:02:32 <esowiki> [[User:Quelklef]] https://esolangs.org/w/index.php?diff=77686&oldid=77685 * Quelklef * (+10)
19:02:45 <esowiki> [[User:Quelklef]] https://esolangs.org/w/index.php?diff=77687&oldid=77686 * Quelklef * (-5)
19:37:05 <arseniiv> if hyperbola would be compact, then we’d have another constant like π
19:38:55 <arseniiv> as π stems from SO(2, 0, R) related to circle, and hyperbola is related to SO(1, 1, R) not isomorphic to SO(2), so if in that impossible case these groups wouldn’t be isomorphic too, then the second one would probably give us a new π′ ≠ π
19:40:06 <arseniiv> if there is a way to make sense of this compact hyperbola, I would be shocked and delighted
19:42:09 <esowiki> [[Marthue]] N https://esolangs.org/w/index.php?oldid=77688 * Yoel * (+4272) Created page with "Marthue is a generalization of both semi-Thue systems and Markov algorithms, posted by Yoel Matveyev on Github in June 2020. The language includes basic input/output, forward,..."
19:44:32 <esowiki> [[Marthue]] https://esolangs.org/w/index.php?diff=77689&oldid=77688 * Yoel * (+44)
19:44:59 <esowiki> [[Marthue]] https://esolangs.org/w/index.php?diff=77690&oldid=77689 * Yoel * (-1) /* See also */
19:45:53 <esowiki> [[Marthue]] https://esolangs.org/w/index.php?diff=77691&oldid=77690 * Yoel * (+10)
19:48:06 <esowiki> [[Marthue]] https://esolangs.org/w/index.php?diff=77692&oldid=77691 * Yoel * (-1)
19:48:33 -!- LKoen has quit (Remote host closed the connection).
19:50:20 <esowiki> [[Marthue]] https://esolangs.org/w/index.php?diff=77693&oldid=77692 * Yoel * (+139)
19:50:54 -!- imode has joined.
19:55:54 <esowiki> [[Marthue]] https://esolangs.org/w/index.php?diff=77694&oldid=77693 * Yoel * (+0)
20:23:01 <esowiki> [[Conveyer]] M https://esolangs.org/w/index.php?diff=77695&oldid=77647 * Abbin21 * (-4) /* Math */
20:51:06 -!- LKoen has joined.
21:01:43 <esowiki> [[Infinifuck]] https://esolangs.org/w/index.php?diff=77696&oldid=77684 * Quelklef * (+67)
22:04:43 -!- ^[_ has quit (Read error: Connection reset by peer).
22:07:44 -!- ^[_ has joined.
22:48:16 -!- Arcorann_ has joined.
22:50:51 <esowiki> [[Infinifuck]] https://esolangs.org/w/index.php?diff=77697&oldid=77696 * Quelklef * (-10)
22:57:45 -!- arseniiv has quit (Ping timeout: 258 seconds).
23:11:22 <esowiki> [[Special:Log/newusers]] create * 1hals * New user account
23:16:28 <esowiki> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=77698&oldid=77653 * 1hals * (+259) Introduced myself
23:20:44 -!- MDude has quit (Ping timeout: 260 seconds).
23:28:55 <esowiki> [[Prefix notation]] https://esolangs.org/w/index.php?diff=77699&oldid=69402 * 1hals * (+259) Added more explanation, an example, and a new category
23:30:09 <esowiki> [[Category:Operator notations]] N https://esolangs.org/w/index.php?oldid=77700 * 1hals * (+44) Created category
23:30:43 <esowiki> [[Postfix notation]] https://esolangs.org/w/index.php?diff=77701&oldid=69400 * 1hals * (+32) Added operator notation category
23:31:31 <esowiki> [[Surround notation]] https://esolangs.org/w/index.php?diff=77702&oldid=67588 * 1hals * (+32) Added Category:Operator_notations
23:32:02 <esowiki> [[Anyfix notation]] M https://esolangs.org/w/index.php?diff=77703&oldid=67591 * 1hals * (+32) Added Category:Operator_notations
23:33:10 <esowiki> [[Infix notation]] M https://esolangs.org/w/index.php?diff=77704&oldid=67592 * 1hals * (+32) Added Category:Operator_notations
23:37:58 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”).