Vyxal

lyxal

00:04

@Seggan anything symbolic algebra related is temporarily out of order because of Sympy being vulnerable to ACE exploits, hence why the algebraic tests were removed

which is also why Symvy is being developed

so algebra can be back on the menu

I also suppose just filtering out quotes and apostrophes could work too

emanresu A

but the polynomial one can work

Seggan

00:29

Lol I'm typing up the "how Myxal works" doc and just describing parsing took me 3 paragraphs

Vyxal Bot

cgccuser approved on PR #1017 (Vyxal/Vyxal)

Vyxal Bot

01:27

chunkybanana closed issue #1002 in Vyxal/Vyxal: Fix that ACE

chunkybanana merged PR #1017 (Vyxal/Vyxal) (Vyxal:aces → Vyxal:main): Fix all 4 ACEs

chunkybanana deleted branch Vyxal/aces

emanresu A

02:31

@Seggan The thing is, TRASHTHANOS can only move half the messages at once

lyxal

03:19

→ 14 buckets of water moved to your mom's house

Vyxal Bot

04:21

chunkybanana created branch Vyxal/fix-dot-w

lyxal

04:35

gotta love that our current version system makes us look like Valve

we have v0, v1, v2 and v4 of vyxal

and no released v3

Unrelated String

eheh

wait what the hell is v4

emanresu A

An april fools joke

lyxal

which I can't seem to find anywhere now

emanresu A

In other news, do not use the vscode python extension when working on Vyxal

lyxal

Apr 1 at 18:45, by Vyxal Bot

v4.0

as you can see, it has no bugs

no ACE exploits

no issues or anything

it works perfectly

Unrelated String

04:40

oh yeah that

lyxal

in conclusion, counting to 3 is hard

we went 1, 2 and 4

Unrelated String

one, two, five!

emanresu A

Why are we still using rational version numbers at this point?

emanresu A

05:14

Codespaces is great

emanresu A

05:25

@lyxal How do I do a list/lazylist typecheck?

lyxal

do you mean to distinguish between list/lazy or list for both?

emanresu A

I mean to check whether something is some sort of list

lyxal

vy_type

it returns list for normal lists and LazyLists

emanresu A

Oh okay, cool

(reimplementing ẇ)

lyxal

vy_type was made as a way to get multiple raw types to be treated as the same type

e.g. it also returns the same type for all the different number types

int, float, sympy numbers all return NUMBER_TYPE

unrelated (in more ways than one): @UnrelatedString @hyper-neutrino I'm interested in what your answers to github.com/orgs/Vyxal/discussions/1 would be

Unrelated String

05:36

heh

i remember i tried to figure out why when you posted the question and eventually gave up on sifting through the transcript lmao

lyxal

well I know you've been around since the Keg days if that helps

Unrelated String

thing is i can't remember why i was here in the keg days either lmao

lyxal

keg quine

Unrelated String

all i can distinctly remember is i wrote that quine that got golfed by like 33% by jo king

lyxal

I posted (~~what some may consider subtle advertising in TNB~~) a question about a Keg quine and you came and had a look

Unrelated String

05:41

oh yeah

i think i had my eye on the language some way or another before then but that was probably my first actual interaction

lyxal

@lyxal well at least I consider it to be subtle advertising

it was half genuine curiosity, half just getting the language out there

Unrelated String

that's the strat

lyxal

as you can probably tell, I've been playing the try to get a popular language game for years now :p

Unrelated String

lol

lyxal

in The Nineteenth Byte, Oct 20, 2019 at 9:37, by Unrelated String

Keg is pretty niche

still is lol

Unrelated String

05:44

lmao

kinda crazy that three years ago i used my shift key

lyxal

in The Nineteenth Byte, Nov 13, 2020 at 17:18, by Unrelated String

is it APL-style infix or do they have precedence rules

two years ago too

hell, you even used it yesterday

emanresu A

Earlier in that conversation

in The Nineteenth Byte, Nov 13, 2020 at 17:16, by Razetime

yeah thats why vyxal exists

lyxal

yes

I know

that's the message I intended to read

but I found the other one instead

emanresu A

06:15

This is making me cry

My tests aren't passing but when I try to run the code it works fine

PyGamer0

oh lol

emanresu A

Wrote ^ with codespaces and it's cool

I can finally actually use poetry where my cursed python setup wouldn't lett me

Unrelated String

06:31

whoa

actually got around to looking up codespaces and that's neat as hell

emanresu A

(I've been working by running tests lol)

emanresu A

08:06

@lyxal In regards to this, a bit of searching has shown that that overload has never been used. I suggest we digraphize/remove it.

@pxeger Would it be possible to create a decorator (say @isfinite(lhs)) that marks the output as infinite when certain arguments are?

@Seggan IMO one-char strings shouldn't be decompressed in Myxal - those things can just as easily become constant digraphs and code generation is useful.

Also if kv doesn't work due to parsing problems, fix your parser or you'll quickly run into much worse issuues

Also

lyxal

@emanresuA digraphise it

emanresu A

08:54

I'ma make the (str, num) overloads Array of length a filled with b

Because that's kinda useful

And I'm gonna make the (str, str) overload whole regex match

Oh gosh the quadradic vectorisation code is terrifying

emanresu A

09:26

@lyxal FYI it doesn't

It seems to return LazyList for lazylist and list for list

Ohh I need simple=true

emanresu A

09:48

tfw copilot introduces ACEs

Never mind, it used make_expression lol

The funny thing is that make_expression doesn't actually existt

@VyxalBot I didn't even manually run tests on this one but I'm pretty confident it'll work

@lyxal How is autolabelling so smart?

emanresu A

10:18

#1024! finally we've reached a big round-number milestone

8

(relevant xkcd)

lyxal

10:31

@emanresuA because it takes the tags from the related issue and applies the PR version

If a linked issue has no tags it doesn't map any tags over

PyGamer0

@emanresuA it uses advanced AI specially trained with a block chain embedded neural network which can also do photosynthesis

/s

Vyxal Bot

Lyxal approved on PR #1024 (Vyxal/Vyxal): "Seggan will be happy about this lol"

PyGamer0

@VyxalBot huh flax already has a json parse element..

what took yall so long :p

emanresu A

In regards to #918:

0

Q: Algorithm to check if a multidimensional array contains another?

Say I have two multidimensional arrays of equal depth, say: [ [1, 2, 3], [4, 5, 6], [7, 8, 9] ] and [ [2, 3], [5, 6] ] What sort of algorithm can I follow to determine if the latter is a contiguous subarray of the former? For example, with the above example, it is: And also with this pai...

Well, thanks for hte upvote, whichever of you thatt was

o/, 'night

PyGamer0

11:13

@emanresuA "enlist each element of night and then reduce by o"

o/

hyper-neutrino

15:43

@lyxal oh I really have no idea lol

Seggan

15:59

@emanresuA yea i fixed it but never reverted it lol

@emanresuA but why use up constant digraph space

@emanresuA why are we using real number versions at all?

@VyxalBot yeah i am

tho it does not follow myxal specs

{a: 1, b: 2} gets turned into [["a", 1], ["b", 2]], not ["a", "b"]

user

16:21

@Seggan quaternion time

Seggan

18:11

→ 38 messages snapped by TRASHTHANOS to

mathcat

18:24

@Seggan hey

I thought I'm Trash King

I'm gonna steal your glove

→ 6 messages trashed by the real Trash King to Trash

Seggan

18:42

i am not Trash King

i

am

TRASHTHANOS

*snaps fingers*

mathcat

19:18

*dies*

Vyxal Bot

Steffan153 created branch SE-Bot/stuff

Steffan153 opened PR #5 (Vyxal/SE-Bot) (Vyxal:stuff → Vyxal:main): stuff lol

Seggan

lol are we gonna do everything using beep boop from the comfort of the chat room

emanresu A

19:49

@Seggan ¯\_(ツ)_/¯ that's just how vyxalify works

@Seggan Because we have tons

And we don't need to put everything in the short dictionary into a digraph

github.com/Vyxal/Vyxal/issues/888#issuecomment-1138816982 - @Steffan wdym by both? Do you mean two separate commands?

mathcat

lol

I feel like bots are going to rule over us soon.

Seggan

ooh a canvas object

but a builtin canvas imo would be golfier

mathcat

wow

That'd be really usefull for all sorts of ascii stuff

Tommorow's a public holiday here, maybe I'll try to implement it

I don't think I can do it though

Is VyxalS already running?

Seggan

20:21

i just had a genius idea

you know how c++ has namespaces and using namespace?

i.e. instead of writing std::string all the time you can do using namespace std; and then refer to it as string

why not do that with vyxal

have a "using digraph" statement

i.e. <insert using digraph character here>k hh will push 2 "Hello, World!"s to the stack (space for effect)

Unrelated String

that sounds awful

Seggan

why

mathcat

but you'd only need it if you wanted to push multiple things, right?

Seggan

the main application of it would be if we implemented canvas elements as digraphs

mathcat

ah

Seggan

20:28

so we could do canvas stuff with 1 byte instead of 2

mathcat

I get it

intrstng

Seggan

or if you do a lot of matrix math

emanresu A

@Seggan What I was meaning is, either a global canvas object which the operations run on, and which is printed at the end if modified, or a builtin which takes directions and draws, or a builtin that takes a canvas and directions and draws on that canvas

I kinda want to try and implement this but my wifi is crap

Seggan

what the diff between 1 and 2

emanresu A

20:48

#2 would return the canvas

Seggan

ok then i referred to #1

Seggan

21:36

is there a "take until false" element?

Seggan

21:52

nvm

if yall interested, i started writing up a doc about myxal, github.com/Vyxal/Myxal/blob/main/docs/how-it-works.md

user

22:20

pog

emanresu A

> like the inability of Vyxal to parse the single byte backslash character

Wdym?

Seggan

there was one ascii art answer that had to use a different character for something...

ah codegolf.stackexchange.com/a/243143/107299

user

@mathcat Kinda but not really. Myxal is much more mature

Seggan

its a pipe

yeah ill get that statement fixed

user

I swear I'll work on VyxalS and contribute something to Myxal now

Tomorrow's my last day of school

emanresu A

22:24

@Seggan as you can see, that's been fixed

And Myxal's parser ahs its own bugs

kv for example

Seggan

ah, ok then

user

Aww

Seggan

6 hours ago, by Seggan

@emanresuA yea i fixed it but never reverted it lol

user

At least when those bugs are fixed, all Vyxal ANTLR parsers get fixed

emanresu A

Oh :P

emanresu A

23:24

Vyxal isn't on the list of rpogramming languages on wikipedia! We must reciftgy this ijmmedtiately.

Steffan

@emanresuA yeah two separate commands

emanresu A

Okay. creating a custom Canvas class :P

Seggan

myxal will not follow

user

Not follow what?

Seggan

i will not create a whole other class just for canvas

too much clutter of underlying types

user

23:37

Oh ok

Seggan

ill probably just go with a global canvas

emanresu A

The thing is, this'll allow flexibility - I can instantiate multiple canvases where I want to push the stringified result of canvas operations.

Seggan

yeah but in my mind im thinking a lot of swaps just to get args and the canvas obj in the right order

emanresu A

Many builtins in Vyxal attempt to rearrange their input if invalid - this will probably do so

Unrelated String

23:54

^

and having a canvas object that lives on the stack also lets you manipulate it with overloads instead of needing dedicated builtins for working with it

plus if nothing else vyxal strives to be praclangy within the confines of golfiness and the last thing clean practical code needs is extra global state

emanresu A

Well, not quite - there's going to be a ctx.canvas which will get modified by the global commands (and printed implicictly if modified) and string representations of canvases on hte stack returned by certain commands

Unrelated String

ah

Transcript for