Vyxal

@AaronMiller @AaroneousMiller @Allxy @Ausername @Milk @PyGamer0 @Wansen @astonearachnid @emanresuA @grandBagel @hyper-neutrino @math @pxeger @rues @user ^

hyper-neutrino

2:35 AM

are you going to require verification for this server or just make it open

(like i don't mean verification to SE but just like the standard click a button to verify thing)

lyxal

open for now

if need be, verification can be enabled

emanresu A

I'm just getting invalid invite

lyxal

discord.gg/N9AfEF9zz5

emanresu A

3:14 AM

Nah still invalid

Aaroneous Miller

@emanresuA I was finally able to take a look at this. When vectorising, it gets the arguments for the vectorised function using wrapify, and the number of stack elements to wrap is the arity of the function, function_A.arity. In this case, the arity is 0, so nothing gets passed to the function. When it tries to run the function with no lhs, it errors. Fixing it will probably just be a matter of special casing niladic vectorisation.

lyxal

@emanresuA how?

I just generated it

Razetime

it's a fine link

you may have reached 100 server limit

emanresu A

I don't have a discord account

lyxal

oh

well that's probably the problem

Aaroneous Miller

3:17 AM

The link works for me in incognito mode

emanresu A

Hm I'll try that

Aaroneous Miller

@AaroneousMiller As in, it works when I'm not using a discord account

emanresu A

When I first used it I tried signing up, then it decided I was sus

And said I need to verify my account

Same thing happened

Maybe it's because google thinks I'm in the netherlands

Aaroneous Miller

Oh, I didn't bother actually setting up a test account, I just followed the link and it seemed to go to the right place

room topic changed to Vyxal: For discussion about Vyxal. Repo: github.com/Vyxal/Vyxal | Org: github.com/Vyxal | Interpreter: vyxal.pythonanywhere.com | Discord: discord.gg/N9AfEF9zz5 | Type !!/info for more info [actually-12-now] [chat-bot] [code-golf] [dank-memes] [discord] [epic-gamers] [joe] [never-gonna-give-you-up] [powered-by-copilot] [rickroll] [short-programs] [too-many-tags] [unicode] [vyxal] [vyxal-bot] [we-currently-have-11]

@AaroneousMiller This also explains why vectorising numbers works fine; as noted in the PR for the monadic filtering, numbers currently are considered to have an arity of 1, rather than 0.

emanresu A

3:32 AM

Yeah I said that

Aaroneous Miller

oh, i guess i missed that

The reason why numbers have an arity of 1 is because of this line where it gets the arity of a command. It gets it from elements.py, but if the command isn't there, as in the case of numbers, then it defaults to an arity of 1. I don't think it should be too hard to special case numbers to have an arity of 0, though.

Vyxal Bot

AMiller42 created branch Vyxal/numbers-are-nilads-too

emanresu A

And strings

And compressed stuff

@AaroneousMiller

Aaroneous Miller

3:49 AM

oh yeah thx for reminding me

@lyxal why are "character" and "string" separate TokenTypes?

lyxal

because they're lexed differently

it probably could just be a string for both

Aaroneous Miller

yeah, from what I can tell it could just be a one-char string, so I was just wondering if there was a specific reason

lyxal

probably just how I decided to lex things lol

it can be changed I think

Aaroneous Miller

when doing if x in y:, should y be a list or a tuple? I know both will work, but is there a certain one we have as the standard?

lyxal

I think it's just whatever type y happens to be

emanresu A

3:57 AM

Tuple if it's constant (like if type(x) in (a,b,c))

lyxal

^

Aaroneous Miller

if NiladTokenType in [String, Number, Compressed_String, etc.]

lyxal

tuple then

Aaroneous Miller

^^ that would be tuple, then.

dang ninjas

I'm going to change the character tokentype to string. While I'm doing that, can somebody give me a few test programs using backslashes to make sure it doesn't break anything?

Vyxal Bot

4:11 AM

AMiller42 opened PR #693 (Vyxal/Vyxal) (Vyxal:numbers-are-nilads-too → Vyxal:main): nilads are numbers too

PyGamer0

@lyxal whats that for?

@lyxal we have this chat already

lyxal

it's just for fun

Aaroneous Miller

4:44 AM

@VyxalBot oh lol that's supposed to say "numbers are nilads too"

also tests are passing now

So, are we going to change full-stack elements to an arity of -1, per this comment?

lyxal

huh, I forgor I wrote that

sure

Aaroneous Miller

5:20 AM

I'm realizing that the idea of e.g. vectorising a command that applies to the entire stack doesn't make much sense, so although I've pretty much figured out how to get this working, I'm not exactly sure what the results should be when using modifiers on full-stack commands.

For instance, looking at the output of this, it's clearly wrong, but what should the result be?

I am once again asking for your approval support

Vyxal Bot

Lyxal approved on PR #694 (Vyxal/Vyxal)

lyxal

@AaroneousMiller I would say the same as just the element itself

Maybe then if it's detected to have an arity of -1, it uses ctx.stacks[-1] as input

Aaroneous Miller

so doing vW or ~W would essentially just do W?

lyxal

~W yes

vW, no.

Aaroneous Miller

5:35 AM

@lyxal what is ctx.stacks?

lyxal

@AaroneousMiller it keeps track of the stack of each context

A reference to the stack of each context

Aaroneous Miller

neat

lyxal

The first item in the list is always the main stack

Aaroneous Miller

so how should vW work?

lyxal

Same as vw

Wrap each individual item

Aaroneous Miller

5:37 AM

And &W?

lyxal

Wrap the register

Vyxal Bot

AMiller42 created branch Vyxal/modified-full-stack

Aaroneous Miller

Are there any full-stack elements other than !W^Ȯ„‟

lyxal

I don't think so

Aaroneous Miller

How should W work with ƒ or ɖ?

lyxal

5:47 AM

Wrap the first item length of list times

No wait

[[[a], b], c] from [abc]

Aaroneous Miller

is it the same for both of ƒɖ?

lyxal

No

ƒ gives a single nested list

The other gives a list of ƒW on all the prefixes

Aaroneous Miller

Example?

lyxal

[abc] -> [[a], [[a], b], [[[a], b], c]]

Aaroneous Miller

oic

lyxal

5:51 AM

ɖ is cumulative reduce

Which is essentially reduce each prefix

Aaroneous Miller

7:19 AM

oops, I kinda got distracted by other Vyxal things and forgot to implement the full-stack modifier stuff

well, I guess it'll have to wait until tomorrow, because I'm going to sleep now

!!/'night

Vyxal Bot

@AaroneousMiller o/

lyxal

11:22 AM

This was one of my first thoughts too but I don't think it qualifies. Try it with 4, for example. — Jonah 13 hours ago

> first thoughts too

Jonah vyxal gang confirmed?

mathcat

11:44 AM

@VyxalBot dah yes

I don't particularly like SE chat

lyxal

I'm seeing a very distinct lack of mathcat on vycord

that should probably be fixed ngl

mathcat

12:14 PM

@lyxal yes

wait

why did I ... uninstall discord?

past-me is really dumb

PyGamer0

@mathcat hey look an OSS gang member

@mathcat oh not really

user

@lyxal he may have been referring to the approach in the explanation

mathcat

@mathcat oh wait I didn't

but past-me is still dumb

lyxal

12:35 PM

@user that implies he knows how to read vyxal

user

Oh was there no actual explanation

lyxal

Ah I didn't see the edited out explanation

user

Ah

lyxal

@user vycord is exist

Joining is must

lyxal

1:18 PM

I think vycord will be more effective for gathering people from the esolangs circles than people from here

mathcat

@lyxal is the discord server now an official vyxal chatroom?

lyxal

It's an extension of here, yes

It's obviously not a replacement for here

But a bridge to a whole other world of people who would otherwise not Stackexchange.com

mathcat

so this is still where the main stuff will be going on

@lyxal did you use GPT-3?

!!/sus

Vyxal Bot

@mathcat ඞ

lyxal

@mathcat no

@mathcat pretty much

This is still the HQ of vyxal corporation for the time being

mathcat

1:23 PM

secret agency of vyxal

lyxal

Where things like flag abuse can be freely engaged in

Vyxal Bot

Tams-Tams opened PR #695 (Vyxal/Vyxal → Tams-Tams/Vyxal) (Tams-Tams:master → Vyxal:main): Add discord link

mathcat

1:49 PM

Is there already an element to append x to every second index of a list?

i mean

smth like

Arguments: [1, 2, 3, 4], 0
Output: [1, 0, 2, 0, 3, 0, 4, 0]

Aaroneous Miller

It looks like Y should work, but it errors, so instead you can do Zf

!!/run ⟨ 1 | 2 | 3 | 4 ⟩ 0 Zf

Vyxal Bot

@AaroneousMiller ⟨ 1 | 0 | 2 | 0 | 3 | 0 | 4 | 0 ⟩

mathcat

oh nice thanks

The lambda filter is AWESOME

Aaroneous Miller

2:04 PM

Yeah, it's pretty sweet

mathcat

I got a code from 8 bytes to 4 bytes

So it goes through every item of a list, executes the code, and boolifies it, if 0 then it removes it from the list else keeps it?

Aaroneous Miller

Pretty much. Internally, it's the same as doing λsome code;F

mathcat

^ lambda map?

Aaroneous Miller

Lambda map is the same as doing λsome code;M

mathcat

nice

Aaroneous Miller

2:12 PM

And for completeness' sake, Lambda sort is the same as doing λsome code;ṡ

mathcat

Where is the code for the online interpreter?

Aaroneous Miller

The HTML for the site is under templates, the CSS and JS is under static, and the framework stuff is on the root in flask_app.py

mathcat

oh okay, thanks

user

4:11 PM

@lyxal i join in evening

What happen if no join

mathcat

you won't get any chocolate

user

:(

Aaroneous Miller

6:27 PM

in The Nineteenth Byte, 5 mins ago, by mathcat

How can I run the flask app locally?

in The Nineteenth Byte, 5 mins ago, by mathcat

It says: No module named vyxal

@mathcat what's the command that you're running to get that error?

mathcat

oh i'm dumb

why did i post it in tnb

I can't delete it anymore

Aaroneous Miller

lol it happens

once I accidentally posted a message that was just ":wq" because I thought that I had my wsl terminal focused instead of chrome

mathcat

lol

@AaroneousMiller python flask_app.py

Aaroneous Miller

Jul 1 '21 at 14:56, by Aaron Miller

Run FLASK_APP=flask_app.py flask run and then go to http://localhost:5000

Jul 1 '21 at 14:58, by math

@AaronMiller thanks

mathcat

eyy past math

Thanks

when I set flask_app = flask.py

It errors again ModuleNotFoundError: No module named 'vyxal'

Aaroneous Miller

6:36 PM

are you running it from the Vyxal directory?

mathcat

yes

Aaroneous Miller

what happens if you do python to get into the REPL, and then in the REPL you run import vyxal?

mathcat

@AaroneousMiller actually nvm

I'm not trying to do anything that needs vyxal.main

Actually wait yes

@AaroneousMiller repl?

Aaroneous Miller

if you run python without any arguments, it brings you into the REPL, where you can just type python commands and it executes them immediately, sort of like a python command prompt

Read–eval–print loop

A read–eval–print loop (REPL), also termed an interactive toplevel or language shell, is a simple interactive computer programming environment that takes single user inputs, executes them, and returns the result to the user; a program written in a REPL environment is executed piecewise. The term usually refers to programming interfaces similar to the classic Lisp machine interactive environment. Common examples include command-line shells and similar environments for programming languages, and the technique is very characteristic of scripting languages. == Overview == In a REPL, the user enters...

mathcat

oh yes

right

Aaroneous Miller

6:47 PM

So what happens if you try to import vyxal?

mathcat

still says No module named 'vyxal'

Aaroneous Miller

are you on linux or windows?

mathcat

windows

Aaroneous Miller

how did you install vyxal?

mathcat

git clone

then

python -m pip install requirementforflasksomething

python -m pip install poetry

Aaroneous Miller

6:49 PM

are you using powershell or cmd?

mathcat

python -m poetry install

@AaroneousMiller cmd

should I use powershell?

Aaroneous Miller

no, cmd is fine, I just need to know which commands to tell you

what is the output of dir?

mathcat

01/28/2022  07:45 PM    <DIR>          .
01/28/2022  07:45 PM    <DIR>          ..
01/28/2022  07:05 PM               228 .deepsource.toml
01/28/2022  07:05 PM               210 .gitattributes
01/28/2022  07:05 PM    <DIR>          .github
01/28/2022  07:05 PM             2,294 .gitignore
01/28/2022  07:05 PM             1,535 .pre-commit-config.yaml
01/28/2022  07:05 PM             8,785 code guide.md
01/28/2022  07:05 PM             5,673 CODE_OF_CONDUCT.md
01/28/2022  07:05 PM             3,771 CONTRIBUTING.md

Aaroneous Miller

rename the Vyxal folder to vyxal

do ren Vyxal vyxal

mathcat

okay

now no module named num2words

Aaroneous Miller

6:53 PM

python -m pip install num2words

mathcat

isn't there a requirements.txt?

Aaroneous Miller

idk

i just pip install stuff until it works lol

mathcat

no errors

but now when I do flask run

and goto 5000

nothing appears

Aaroneous Miller

when you do flask run, what is the output?

mathcat

Fatal error in launcher: Unable to create process using '"c:\program files\python37\python.exe"  "C:\Users\jeeva\AppData\Roaming\Python\Python37\Scripts\flask.exe" run': The system cannot find the file specified.

that's probably some python version error

Aaroneous Miller

6:59 PM

It looks like it is using python 3.7

You'll need to use 3.9

mathcat

but

I changed the global python to 3.10

how can I change it in flask?

oh I know

Aaroneous Miller

what is the result of doing python -m pip --version?

Vyxal Bot

chunkybanana opened issue #696 in Vyxal/Vyxal: Digraphs for shortest, sort by length and longest.

mathcat

nvm I got it

thanks

Aaroneous Miller

np

what'd you have to do?

Aaroneous Miller

8:53 PM

emanresu A

Would you mind putting the ACE whereever we put security vulnerabilities @AaroneousMiller

(We won't tell, I promise)

(And it'll give us a week to prepare a patch)

Aaroneous Miller

sure, give me a sec

emanresu A

9:12 PM

vyxal/web-design-team I think

lyxal

10:46 PM

@AaroneousMiller is it a 2.4 or 2.8 Ace?

Aaroneous Miller

For those with permissions to see this post, if you read it, you won't be allowed to crack my cop, since it explains the ACE exploit I found: github.com/orgs/Vyxal/teams/web-design-team/discussions/7

@lyxal 2.8

lyxal

Oh

Yikes

I should probably view what it is then

Ah

Dang

Aaroneous Miller

You remember how we figured out that being sleep deprived makes you better at Vyxal? I literally just found this ACE last night around 3 AM, about 15 hours ago

emanresu A

Hm, so it wasn't nested functions or unicode escapes

Aaroneous Miller

Are you saying that because you read it, or because it's a 2.8 ACE?

emanresu A

10:49 PM

I read it

lyxal

That's just how github works by default

I don't know

emanresu A

@AaroneousMiller Seems to be the only one of its kind

Aaroneous Miller

@emanresuA Yeah, and it was only by chance that I noticed it as I was working on other issues. What's funny is that the part that caught my eye isn't even the part that allowed for the ACE, but it is the part that made me think ACE was possible

emanresu A

There are similar things but they typecheck first.

Aaroneous Miller

yep, there are a few places where ACE would be really if it weren't for the typechecking

@Fmbalbuena # is best command

sure it is

Fmbalbuena

11:06 PM

@AaroneousMiller ?

Aaroneous Miller

@Fmbalbuena Try it Online!

Fmbalbuena

@AaroneousMiller R flag?

Aaroneous Miller

The R flag makes it so that any time that a number is cast to an iterable, it is a range from 1 to n instead of a list of digits. In this case, it makes it so that using ∑ on 4 returns 10 instead of 4

The ₍ modifier parallel applies the next two elements, and then wraps the results in a list. In this case, it makes it so that ¡ and ∑ are both acting on the implicit input, instead of ∑ acting on the result of ¡.

Fmbalbuena

github.com/Vyxal/Vyxal/tree/main/documents/philosophy is funny

Aaroneous Miller

so is github.com/Vyxal/Vyxal/tree/no-bugs

Transcript for