Vyxal

lyxal

00:11

Those are two options I came up with

I still want to see what razetime comes up with

user

In the first one, the placement of the Vyxal logo looks kinda random. Maybe you could move it into the center?

lyxal

I think I prefer the second one of the two

user

Welp, and I just messed up by committing directly to master instead of making a new branch

@lyxal Me too

lyxal

@user We all mess up by committing straight to master without making new branches

user

Is there any way I can try out Vyxal locally to test stuff out?

lyxal

00:14

Download the repo, set up the flask app

You need to pip install all of the libraries in requirements.txt

user

Alright, I'll try that

lyxal

And you need to make a virtualenv inside the repo folder

digitalocean.com/community/tutorials/…

AviFS

01:31

@lyxal What does it do? Fizzbuzz or Game of Life might be fun!

lyxal

01:41

@AviFS if the argument passed is 42, return the time, otherwise return the string "username"

2 hours ago, by lyxal

Because the lambda is hyper, the 42 is AMiller42, there's a (was)if statement, kN is the (raze)time and username is you and A Username

AviFS

@lyxal That's good!

lyxal

02:56

@Razetime chat.stackexchange.com/transcript/message/58530847#58530847

Razetime

what is the help required

lyxal

Vyxal community ad

hyper-neutrino

it's on the next page of the transcript

lyxal

Any design suggestions?

Razetime

second one looks good, you need somepadding on the top and bottom

this

lyxal

03:04

Or

hyper-neutrino

would recommend some left/right padding but idk if that's important

not exactly good at design myself

lyxal

Razetime

@lyxal split the "Terse, elegant" into two lines

and add golfy

because it's a golflang

lyxal

I'm using a meme generator to make this btw

And the background colour is #696969

@Razetime

Or

@hyper-neutrino @wasif @Razetime @user @UnrelatedString which do you prefer?

hyper-neutrino

03:21

i don't like that G personally

looks too much like a C

lyxal

Unrelated String

that last one is definitely the best but it would probably be better if we could find a font that still feels like the other font but just without that G

wasif

o/

@lyxal this

Let's wait what others say

Unrelated String

honestly you could just take the second to last one and edit out the middle like third of the G lmao

that would probably be terrible actually

wasif

And How about removing the word Golfy

Terse and Golfy are synonymous

lyxal

03:31

That's what I thought

Razetime

woo

hyper-neutrino

+1

Razetime

now up the font size

this is.. dosis i think

wasif

@lyxal nice

lyxal

@Razetime how'd you know?

hyper-neutrino

03:32

also i am honored to be a part of this :p even tho i literally just hang out here and occasionally say something useful :p

Razetime

@lyxal I use an unholy number of fonts and have tried creating fonts

lyxal

Razetime

push it up a slight bit now and it should be ready

hyper-neutrino

i'd rather a darker background color but like if it's #696969 then you probably want to keep that :p

lyxal

And I just realised that it needs to be 300x250 while my images are 1400x1400

hyper-neutrino

03:34

lmao

wp

lyxal

hyper-neutrino

ew

wasif

@lyxal Now the font is better

hyper-neutrino

that is obviously squished :p

wasif

Like the last one

hyper-neutrino

03:35

you can probably just add padding around the sides and then scale it

lyxal

@hyper-neutrino that's called using an image resizer to make it compatible

@hyper-neutrino would that work?

Because I don't know how I would do it

Razetime

ok what editor are you making it in

lyxal

No judgement please

But Zombodroid meme generator free

Because I'm doing it on mobile

hyper-neutrino

oh

what do you need again

300x250?

lyxal

> The image that you create must be 300 x 250 pixels for right sidebar ads

hyper-neutrino

03:43

wait is 300 the height or width

Razetime

@lyxal oh that's difficult to scale in

lyxal

@hyper-neutrino height presumably

Razetime

@hyper-neutrino awwright nice crop

hyper-neutrino

wasn't really a crop but ye

Razetime

isn't it always w x h

lyxal

03:43

@hyper-neutrino I think that's the one I'll use

hyper-neutrino

yeah all the other ads are wide

lyxal

@Razetime ads are usually taller than they are wide iirc

hyper-neutrino

not here

apparently

lyxal

No wait wider than taller

hyper-neutrino

500x600

i think we're allowed to use double dimensions for higher DPI

> The image that you create must be 300 x 250 pixels for right sidebar ads or 728 x 90 pixels for banner ads. Images can be double that if high DPI.

> Must be GIF or PNG

lyxal

03:45

@hyper-neutrino oh that looks much nicer

hyper-neutrino

this one is a PNG

> Must be hosted through our standard image uploader (imgur)

yeah ez

> Absolute limit on file size of 150 KB

this one is 46KB so we're good :p

lyxal

@hyper-neutrino So this is the one?

hyper-neutrino

@hyper-neutrino @wasif @Razetime @user @UnrelatedString we good with ^?

Razetime

i likey

hyper-neutrino

poggies

lyxal

03:46

I likey too

hyper-neutrino

i lickey

lyxal

Just need a tagline now

hyper-neutrino

also where are you linking it

wasif

Nice

lyxal

@hyper-neutrino repo

hyper-neutrino

03:48

nice

wasif

But I now get a feel that the code in the image can be shortened

hyper-neutrino

do you have a landing page of any sort

lyxal

No

wasif

Pair kN and the compressed string and index with the boolean condition (equal to 42?)

hyper-neutrino

oh wait your README has sufficient info

lyxal

03:49

@wasif why are you trying to get rid of yourself?

wasif

???

lyxal

It's an if statement

(was)if statement

hyper-neutrino

2 hours ago, by lyxal

Because the lambda is hyper, the 42 is AMiller42, there's a (was)if statement, kN is the (raze)time and username is you and A Username

wasif

lol

Unrelated String

04:00

@Razetime oh yes

A username

Hi

It looks nice

Is this for community ads?

hyper-neutrino

yes

A username

cool

lyxal

04:23

@hyper-neutrino @Ausername @AaronMiller @AviFS @Razetime @math @pxeger @PyGamer0 @UnrelatedString @user @Underslash @wasif come and upvote the Vyxal community ad

hyper-neutrino

epic gamer moment

A username

How many does it need?

hyper-neutrino

6

lyxal

That's probably the quickest +4 I've ever gotten

hyper-neutrino

yeah it took like 10 seconds lol

lyxal

04:28

The funny thing is that I was planning on asking if we should do a community ad last night before caird mentioned it

A username

lol

hyper-neutrino

06:00

feature-request: LCM

also N-byte lambda should really work if the following thing is also a combinator

for example, ‡₌*ġḭ should be an LCM function

but it doesn't work, whereas λ₌*ġḭ; did

A username

@hyper-neutrino Yes

@hyper-neutrino Jyxal did have some stuff to do that...

hyper-neutrino

i don't exactly know how parsing works but it should be pretty easy

*how lyxal does parsing

A username

No idea

hyper-neutrino

just feed a list and recurse lol

like to do two-byte lambda just recursively grab two terms and combine them

postfix operators are better anyway so hopefully transformers make vyxal more usable

A username

True...

hyper-neutrino

06:11

anyway, my vyxal solution did not beat jelly on PE1, but someone who actually knows what they're doing might be able to

lyxal

@hyper-neutrino they are way easier to parse

A username

harder for Vylight tho - I don't have a list of tokens...

Actually I suppose it doesn't matter.

Since I can just highlight modifiers as necessary

hyper-neutrino

just add a list of tokens 4head

also yeah postfix is way easier

i mean with prefix just recursively fetch and pop from the list of tokens each time

with postfix just maintain a stack

as long as you don't try dealing with infix operators lol

A username

True

Unrelated String

you can also treat prefix as postfix but backwards

hyper-neutrino

06:31

like by parsing in reverse order?

Unrelated String

yeah

hyper-neutrino

hm true

sounds like it'd get confusing for an LTR language tho

like for example in jelly, the nilad-followed-by-links-as-nilad quick would not work as a prefix if the language is going from the left to the right

Unrelated String

yeah

hyper-neutrino

granted that's a problem with prefix not with your parsing method

big brain idea

keep a queue of elements

Unrelated String

prefix isn't inherently harder to parse but it makes so much less sense for a ltr language

hyper-neutrino

06:35

and transformers pop from the queue

^^ yeah def

lyxal

08:02

@hyper-neutrino done

math

08:46

what's LCM?

lyxal

Lowest common multiple

For someone named math, I thought you would have known that

A username

Is it lcm of two or lcm of a list

Because the latter would be nice

(as well)

Can you overload it to pop once, if it's a number pop again?

math

@lyxal oh right.. i was thinking of lambdas and things

lyxal

@Ausername of two

@Ausername sure

Iirc that's what GCD does

A username

Ok cool

lyxal

08:54

But not now

When I'm next at the computer

math

@math lambda-ish conic meateater

A username

Ok

math

or lateral-numbers consuming meat

@lyxal can you do a function for lateral numbers pls?

vfr

Vyxal feature request

lyxal

09:32

@math lateral numbers?

math

Gauss's name for imaginary numbers. I started using them too

A username

Btw tan is broken

So is arctan

lyxal

@math will do later this year once I actually learn about them myself

@Ausername it takes radians by default, not degrees

A username

It appears to be taking a list.

lyxal

Really...

Gosh dang it

Sounds like vectorisation playing up again

I coulda sworn I fixed that

A username

09:38

Well it is trying to vectorise math.tan...

Or whatever:

arg = pop(stack); stack.append(vectorise(math.atan, arg))

A username

09:50

Fixed atan

I'll fix the others later, I just wanted atan.

A username

10:07

I also used ~ for the first time ever

wasif

10:56

o/

@lyxal if you are online can you please add the LCM builtin

math

and GCD?

wasif

@math there is a gcd builtin

math

oh ok

wasif

ġ

lyxal

11:13

@wasif I added two argument lcm

wasif

nice thx

@lyxal

well how do you make your I/O system for Vyxal online interpreter

My work at anaconda interpreter has stuck for this

lyxal

@wasif Some sort of multithreading compatible dictionary

wasif

???

lyxal

I don't exactly remember

wasif

my try is to make something really basic at first

the frontend is complete backend is working too

problem is how the code will execute

lyxal

11:20

Look at old revisions of my flask app

@wasif one idea is to wrap all the essential functions needed to run a program from start to end inside a function

wasif

@lyxal that dosen't sound good

what i am currently doing is to write a seperate compiler and execute function

lyxal

So take away all the command line stuff and file reading and make an execute function that, when given a program as an argument, it executes it and gives it back to the flask app

wasif

a stdout variable is passed to execute function

lyxal

That's what I mean

wasif

it calls the compile and exec() s it

@lyxal but it dosen't work

lyxal

11:22

@wasif let me check the repo quickly

wasif

github.com/Detective-Wasif

sorry for half link

github.com/Detective-Wasif/Anaconda/tree/main

lyxal

Here's a simple way to think of it

Say you want to run an Anaconda file offline.

How would you do that?

wasif

if name__=='__main' stuff

to run offline

lyxal

Good

Now imagine that instead of the if statement, you had a function definition

math

@lyxal why would you

lyxal

11:26

@math this is for analogy sake

wasif

two seperate functions: execute_file and execute right?

both call compile and exec() it

lyxal

@wasif not necessarily

wasif

thats where the problem

lyxal

You don't need a function to do it offline

You only need a function for online

math

@lyxal you need internet

wasif

11:27

in my unupdated code print function assigns to a stdout variable

but stdout variable dosen't update

i have both tried passing a variable named stdout to function and also making it global var

lyxal

github.com/Lyxal/Vyxal/blob/master/flask_app.py#L57

Line 57, 58, 70, 71 and then 73 onwards are were you want to read

wasif

i get that part

lyxal

@math running offline means actually cloning the repo and running the raw python

math

ah

isn't anaconda some sort of pip

wasif

but why exec which changes a variable dosen't work inside function

@math yes

but not for me

it is my golflang

lyxal

11:32

Try using exec(string, {}, {})

wasif

I'll try that when i get back to computer

is that what vyxal does?

exec(s,{},{})

lyxal

In some places, yes

wasif

what does to empty dicts do

seems that it takes globals and locals for exec

lyxal

No wait

wasif

but why empty them

lyxal

11:34

Sorry

It should be exec(s, globals())

wasif

I have tried exec(s,globals()) dosen't work

I will show you how it is doing that later

lyxal

Are you passing the manager.dict to the execute function

wasif

I am not using multiprocessing manager at all now

ok let me share it with you

Try it online!

lyxal

Function arguments don't get modified

wasif

noooo

Then Should I have to make it global

or make a copy

lyxal

11:39

But if you pass something like a list or dictionary, it will modify it

wasif

hmm seems a good idea

i will try it soon

but why it cannot modify the string

i know strings are immutable but i modify with +=

lyxal

It is modifying the string locally inside execute

But unless you are retuning it, it won't update inside the flask app

I suspect I'll have to see your full flask server and execute code

wasif

currently the main issue is with exec

lets get flask outta here for a moment

i can manage it

lyxal

So you're saying it won't work even locally?

wasif

yes

its not working even locally

it has calls like stdout+=stack.peek();stack.pop()

later i would try with a list

lyxal

11:49

I'll have a play with it in a bit

wasif

ok thx

lyxal

12:06

@wasif so do you have the version with the issue you're describing?

because looking through the repo, I don't see any calls to exec

math

@lyxal wait what?

lyxal

link?

math

lyxal.pythonanywhere.com?flags=&code=%CE%BB42%3D%5BkN%7C%60…

it's your vyxal ad

lyxal

wrong b

use β

math

uh

lyxal

12:13

Try it Online!

you have ß instead of β

math

oh that's beta not Eszett

lyxal

correct

wasif

@lyxal no nlt currently

we will talk about this later

got to go now

lyxal

righto

till next time ;p

lyxal