Vyxal

user

00:21

@hyper-neutrino That'd be very helpful

lyxal

01:31

@hyper-neutrino are you sure λ₌*ġḭ; / ‡₌*ġḭ is LCM?

Because this doesn't look like LCM

room topic changed to Vyxal: For discussion about Vyxal. Website: github.com/Vyxal/Vyxal [code-golf] [never-gonna-give-you-up] [unicode] [vyxal]

hyper-neutrino

¯\_(ツ)_/¯

maybe i am monke

wait that's cuz this function is supposed to accept two values

Try it Online!

lyxal

02:07

@hyper-neutrino aha good to know

because I'm working on making 5 6‡₌*ġḭ d work as well

hyper-neutrino

what does that do

lyxal

2 days ago, by hyper-neutrino

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

d makes the lambda have an arity of 2

(meaning 5 6 λ₌*ġḭ;d is equivalent to 5 6 λ2|₌*ġḭ;)

hyper-neutrino

ah

lyxal

because multiplying a function reference by a number changes it's arity

so λ2|₌*ġḭ; 3* will make it take 3 arguments instead of 2

hyper-neutrino

oh nice

lyxal

02:12

I added it just before LoTM

Apr 30 at 11:27, by Lyxal

The latest version has bug fixes and the juicy lambda multiplication

hyper-neutrino

ah

do you have function power

lyxal

no

hyper-neutrino

what does e do to lambdas

if nothing, i propose function power

lyxal

what is function power?

hyper-neutrino

not sure how useful it is for code golf tho, or if you already have a ntimes builtin

(f ** x)(a) = f(f(f(...(f(a)))) for x calls of f

lyxal

02:13

I think I can do that

I'll do that after I finish making modifiers actually good

hyper-neutrino

aight

weren't they called transformers

lyxal

v2 has modifiers

ve/v3 has transformers

hyper-neutrino

pog

lyxal

hence, I'm working on v2

that's what my not-exactly-experimental branch is for

hyper-neutrino

ah

user

02:17

@lyxal apl has a power operator (asterisks with diaresis

lyxal

@user that sure is an interesting description

user

If x is funxtion, keeps going intil the predicate evaluated to true

Lol

I hate this tiny screen

hyper-neutrino

⍣

user

^

What is lambda multiplication

lyxal

changes the arity of the lambda

user

02:20

Is it function composition or is it lije an apl fork

Oh

lyxal

λ₍*ġ; has arity 1

λ₍*ġ; 2* has arity 2

user

Noice

what about two lambdas multiples by each other

lyxal

it's only numbers

and it overwrites the defined arity too

user

:(

lyxal

λ2|W∑; 3* has arity 3

I think I'm ready to merge not-exactly-experimental into master

this should be fun

hyper-neutrino

02:26

*prays for vyxal's well-being*

lyxal

02:42

I'll just keep it in a PR until all the tests pass

A username

04:34

Can we keep legacy Vyxal on a seperate (never-updated) pythonanywhere thread?

I can create

lyxal

04:52

@Ausername legacy?

which version?

A username

You said you were merging experimental

hyper-neutrino

not-exactly-experimental isn't exactly experimental

A username

Oh

lyxal

it's more what you would have made in Jyxal

@hyper-neutrino Try it Online!

hyper-neutrino

05:08

pog

is it possible to make a lambda that pops multiple arguments by default have the arity it needs

what does popping multiple times do otherwise anyway

lyxal

?

Version 2.5.0

hyper-neutrino

Try it Online!

thoughts on making this return ⟨3|2⟩ and implicitly determine a lambda's arity unless otherwise specified?

lyxal

like this?

hyper-neutrino

yeah

lyxal

I'll let one element lambdas do that

hyper-neutrino

05:19

hm. fair enough

lyxal

because determining arity of multi-element lambdas could be ambiguous

hyper-neutrino

true

would it be possible to determine max possible arity

since presumably if statements might change arity

although at this point it more or less just makes lambdas use the global stack which is probably something you were trying to avoid lmao

lyxal

@hyper-neutrino correct

hyper-neutrino

lol

lyxal

05:33

@Ausername I finally made things like vv<whatever> work

A username

05:49

Nice

A username

07:21

Should I migrate Vylight to Vyxal?

wasif

wdym by migrate

A username

You can migrate repos

lyxal

07:37

Yes

@Ausername do it

A username

Ok

lyxal

We might as well have all vyxal related repos in the one place

A username

Moving repository to Vyxal/Vylight. This may take a few minutes.

lyxal

Transfer ownership

A username

@lyxal Jyxal's abandoned, so I'll leave that tho.

lyxal

07:39

It's much quicker

A username

Oh well too late

lyxal

@Ausername that sounds reasonable

@Ausername oh nvm that's what you did anyway

A username

Actually I should probably archive it

lyxal

Yes

A username

Lol the bot has done more commits than hyper

and razetime

lyxal

07:44

Where's the bot's stats?

A username

note that hyper / razetime are after the bot

lyxal

Oh

Oh that's hilarious

Also, fun fact: the Vyxal LoTM post has a rickroll hidden at the end

A username

Where?

BTW the list is missing ~30 answers that I just couldn't be bothered putting on there.

lyxal

15

Q: Language of the Month for May 2021: Vyxal

In accordance with our meta agreement, since one candidate received more votes than the others, we have a new featured language! Throughout May 2021, our Language of the Month will be: Vyxal What's a Language of the Month? See the meta post for nominations. In short, during May, those who wish ...

At the very end

@Ausername and probably more from others too lol

A username

@lyxal of the question or the answer?

lyxal

07:51

@Ausername question

A username

Oh I see

Lol

pxeger

08:48

github.com/orgs/Vyxal/teams/transpiler-design-team/discussions/…

math

10:28

What's the event manager team for?

events like?

and the Structural Organisation Team?

no wait I got the latter

math

10:44

:P

hope it doesn't get reverted

nice?

math

10:57

@lyxal XD

who did that?

legend

Razetime

are you making a vyxal page?

math

@Razetime no somebody else did that

not Lyxal

because he always says to pronounce Vyxal as Vikesal

Razetime

nope, lyxal created it

math

esolangs.org/wiki/Vyxal

Razetime

nonono I've definitely edited this page and lyxal created it

@math it's adding more current info, not a problem

math

11:11

@Razetime esolangs.org/w/index.php?title=Vyxal&action=history

didn't Jononjonocode smth create it?

Razetime

JonoCode is Lyxal's old username

math

ah

Razetime

or alias

if you see the user page you'll know

math

so then Lyxal told us to pronounce Vyxal as Vixal?

because you edited only that user thingy, right?

@lyxal can you explain this mess to me pls

Razetime

vi is pronounced like the text editor name

"vie"

anyway theres some stuff on the wiki page that needs to be updated

lyxal

11:18

@math it's all fixed

@math if you run that through tts on macos, it says it as vikesal

math

tts?

lyxal

12 hours ago, by lyxal

Hey so I've had an idea: a 10 CMC challenge for Vyxal. The person with the lowest total score gets +100 bounty.

@math text to speech

math

@lyxal oh ok

@lyxal edge on windows too

lyxal

@math I'm planning on having events every now and again. The team is for organising those events without giving away details

math

@lyxal wow events really?

lyxal

11:22

Yes

math

like vyxal's birthday?

lyxal

No

12 hours ago, by lyxal

Hey so I've had an idea: a 10 CMC challenge for Vyxal. The person with the lowest total score gets +100 bounty.

Like that

math

ah

lyxal

Think things like BMG but for vyxal

Obviously if you're involved in the events team, you won't be allowed to participate in the event

Because then you'd know all the answers and you could write questions specifically so you can win

Hence, I'll only add people who are really sure they don't want to participate

@math that's my old account name

And it's actually JonoCode9374

Because that was my idea of cool at the time

My original cg name was Jono2906

(no points for guessing that I was using my irl nickname and numbers)

But I soon realised that having those usernames was actually a disadvantage; they sounded a tiny bit generic and would blend into the ever growing pool of unnoticed users

So I decided "hey, I'll 'rebrand' my account to be more noticeable/memorable so that more people upvote, because they'll see a cooler username" (which is probably a really flawed way of thinking, but it seems to have worked)

But that's really off topic

I'm not saying I have anything against numbers in usernames, nor am I saying that numbers in usernames can't be "cool" (because honestly, coolness is completely subjective)

I'm just saying what worked for me, and why there are discrepancies between usernames in certain places

ROs, feel free to migrate this monologue elsewhere

math

wow lyxal that's a lot of text

lyxal

11:35

Yes

It is

math

@lyxal and when does it begin?

lyxal

12 hours ago, by lyxal

Also, suggestions for when and how it should be hosted are welcome

math

@lyxal maybe on an external website? Don't ask me which

lyxal

Hmm. I think I'd prefer to keep it here, with submissions done via private github repos

math

@lyxal that's what I meant

lyxal

11:39

@math oh. Nice

math

@Razetime like? I didn't find anything except that the Hello, World can be shortened to 1 byte

wait I found smth

@lyxal time's a bit difficult though, we'all live in different timezones.

@lyxal You live in UTC+8, right?

lyxal

11:56

@math utc+10

math

ah

lyxal

But I was thinking of letting it run for a week or two

So that people would have the chance to refine their solutions

And so that it could be promoted to a further audience

math

@lyxal One challenge or all 10?

lyxal

@math all 10

math

11 days might be enough, then

how I thought you were going to do it was you post 1 challenge for 10 days

but your idea is better

@math @lyxal when is it, actually?

lyxal

12:03

25 mins ago, by lyxal

12 hours ago, by lyxal

Also, suggestions for when and how it should be hosted are welcome

math

vyxal's birthday

when did you start working on vyxal

or make the first github commit

lyxal

See that's the problem

There's a few dates

math

birthmonth maybe?

lyxal

Well this room was created on the 14th of April 2020

math

ah so April

lyxal

12:10

But I started the repo on the 30th of April it seems

Or at least that's when I started actually writing code

But I'd like to hold the event sometime soon

As in, maybe next month

math

okay

How do you know Vyxal or X is Turing Complete, btw

lyxal

@math reduction to Volatile

math

that's some french word for sure

lyxal

esolangs.org/wiki/Volatile

Esolang

Which has inspiration from keg

And keg inspired vyxal

math

and how do you know Volatile is Turing Complete?

lyxal

12:15

esolangs.org/wiki/Talk:Volatile

The proof is on the talk page

user

@math More intuitively, if memory is unbounded, the stack can be grown to any size, lists can be grown to any size and can be indexed into, there’s flow control structures, there’s functions (which can be higher-order)

math

@user that's all? no turing machine thing?

user

That means that Vyxal can emulate any other turing machine (I think) because you can compute pretty much anything in vyxal

*as ling as it’s computable

math

@user except the halting problem of course

user

???

math

12:22

@user no computer can solve that

user

Ok?

1 min ago, by user

*as ling as it’s computable

Sorry for tupo

math

oh didn't see that

user

That’s another thing that clues you in to the fact that vyxal is tc: you can’t solve the halting problem for vyxal

(Doesn’t necessarily mean a lang is tc tho

lyxal

12:50

Version 2.5.1

3

just a friendly reminder that this room was once 17 hours away from freezing

math

woah

lyxal

yes

because that was before all of this that we have today

before lotm

before 35 github stars

before 12 ROs

before all of you cool kids

math

* gamers

lyxal

I've already said epic gamers

Jul 4 at 9:01, by lyxal

What's more important though now is that Vyxal couldn't have grown without the support of my community of epic gamers

Being original and creative is hard okay. ;p

math

Non relevant video recommendation

lyxal

12:58

@math I knew it was going to be some sort of rickroll, but I didn't care

math

It's nice

lyxal

indeed

I saw that a long time ago

math

the video just went from something 447 to 771 views

lyxal

fun fact: º was originally the decimal character

so 0.5 would be written as 0º5

which was objectively bad

math

so I had to search that character in the Keyboard to write 0.5

lyxal

13:06

correct

math

what did you plan for . then?

lyxal

and that was before we had the online interpreter

@math print raw

this was like way back during the times of v0.x.x

@math Try it online!

(that's Keg btw)

math

ah

lyxal

notice how one prints without quotes, and the other one does

math

yes like repr in python right?

lyxal

13:09

correct

oh boy this aged well

but this was actually accurate

oh

oh wow

math

ww?

lyxal

that was the original online interpreter design

math

the new one's better

lyxal

I know

hyper-neutrino

wtf is this

lyxal

13:14

The original site design

like way back in January when I was first making the online interpreter

here's how it looked before v2

no syntax highlighting, no fancy tooltips, no fancy svg buttons

no TIO layout, no folding boxes, no sessions

just purple on black with horribly unaligned characters

Aaron Miller

@lyxal For those who didn't know, a version of this has actually been in the repo pretty much the entire time, if you were wondering what templates/index.html was.

lyxal

^

but for some reason it doesn't actually load the CSS

welp, I'm off for the night

have fun and be rational/sensible with the repo and site

o/

Aaron Miller

* laughs maniacally *

user

@lyxal Hey, I remember that!

@lyxal When did Vyxal have a surge in activity btw?

pxeger

13:46

Code cleanup discussion

5

math

14:01

@AaronMiller @UnrelatedString ^

user

@Underslash @AaronMiller @hyper-neutrino @Razetime @UnrelatedString @wasif @AviFS @lyxal ^^

math

@Ausername ^^^

user

@pxeger Poll to vote on when we pause working on Vyxal

math

@user nice

rickroll

user

One more nice in there

hyper-neutrino

14:11

today is too soon, but relatively soon rather than later is a good idea to make future production easier

pxeger

yes

math

do we need a hyperping?

hyper-neutrino

we already did

although i am not working on any core projects and just occasionally poke random shit that's broken / not optimal lol. so you'd have to ask people who are actually doing significant work atm

user

No one's doing very significant work on Vyxal other lyxal and Aaron Miller, honestly

And A username

Aaron Miller

@user s/work/breaking things

user

14:18

Breaking things is good

Aaron Miller

lol that's why I'm in the testing team

user

What's the democracy branch for again?

Aaron Miller

democracy :p

user

Can I delete it?

room topic changed to Vyxal: For discussion about Vyxal. Website: github.com/Vyxal/Vyxal. Org: github.com/Vyxal [code-golf] [never-gonna-give-you-up] [unicode] [vyxal]

Aaron Miller

It's for commits that need to be decided on democratically. I've never used it, but I know lyxal has once or twice, so I have no idea if we still need it or not.

user

14:33

room topic changed to Vyxal: For discussion about Vyxal. Website: github.com/Vyxal/Vyxal. Interpreter: lyxal.pythonanywhere.com [code-golf] [never-gonna-give-you-up] [unicode] [vyxal]

math

room topic changed to Vyxal: For discussion about Vyxal. Website: github.com/Vyxal/Vyxal. Org: github.com/Vyxal [code-golf] [never-gonna-give-you-up] [rickroll] [unicode] [vyxal]

user

room topic changed to Vyxal: For discussion about Vyxal. Website. Org: github.com/Vyxal [code-golf] [never-gonna-give-you-up] [rickroll] [unicode] [vyxal]

room topic changed to Vyxal: For discussion about Vyxal. Website: github.com/Vyxal/Vyxal). Org: github.com/Vyxal. Interpreter: lyxal.pythonanywhere.com [code-golf] [never-gonna-give-you-up] [rickroll] [unicode] [vyxal]

Looks like MD doesn't work :(

Aaron Miller

:(

F

math

F

math

16:08

F

user

You said F already

F

Unrelated String

@AaronMiller you could just make sure it's up to date with master by the time the cleanup starts, then keep it up to date through the cleanup

user

conflictssssssssssssssssssssssss

illmakeapr

Aaron Miller

16:32

Fun fact: pythonanywhere allows you to make multiple accounts with the same email address, so I can easily create a second account for my new language

user

noic

hyper-neutrino

wtf lol

Aaron Miller

I was adding an online interpreter for my new language, but it wasn't working because a webapp works better when there's a web to go with the app

i forgot the html file

hyper-neutrino

16:57

nice

math

18:05

@user you can never have too many F's

hyper-neutrino

F

user

I want to link to a recording of a piano piece with just F's

hyper-neutrino

not all Fs, but:

RUSH F

►

user

Beautiful

math

18:22

Wonderful

Unrelated String

user

I see your F and raise you an F

math

F

I'm lazy

user

@user Damnit, you can't see the detail in that one

I actually drew a perfect copy of the Mona Lisa in the top right corner but it's just too pixelated to see

@hyper-neutrino In Soviet Russia, F rush you

math

18:45

Can I pls make a hyperping?

no

@lyxal github.com/Vyxal/Vyxal-Events

Just made a repo for the Events

user

19:20

What are vyxal events?

hyper-neutrino

events for vyxal

user

thanks

Aaron Miller

lol

hyper-neutrino

you're welcome

Aaron Miller

20:42

I just spent the last four hours trying to get the online interpreter for my new language to work. It finally works. \o/

hyper-neutrino

\o/ poggers

Aaron Miller

lol the interpreter for it is short enough that GitHub thinks brainbox is an HTML project

hyper-neutrino

xD

user

22:04

Love the commit messages :P

Aaron Miller

lol

user

@AaronMiller Are you going to make braintensor or something in the future too? (or whatever you call a multi-dimensional thingamajig)

Aaron Miller

who knows?

user

idk, who does?

lyxal

22:45

@user late April/may

@pxeger I like this idea

And I'll refactor the experimental branch independently

Because it's small enough that it wouldn't be a pain

@user sure

user

@lyxal Oops, already made and merged a PR

lyxal

@user but the clean up hasn't started yet though

I mean, I'll clean up the experimental branch. Y'all don't need to worry about styling that

And merging it in the future shouldn't be an issue

user

I don't think you should bother styling it just yet

Let's fix everything that absolutely needs to be fixed and then focus on cleaning up master

lyxal

I was planning on seeing how the code clean-up works first

user

Then we can merge that stuff into experimental

Oh ok

lyxal

22:51

Keep in mind that experimental has a high chance of being relabelled version 3 once I'm happy enough with it

Transcript for