Vyxal

Aaron Miller

13:01

I was like "oh dang, this is gonna be fun, it's the final battle", and then I was like "oh dang, what the heck is this", and then I was like "oh dang, I'm glad I'm wearing headphones instead of just speakers, but I also wish I wasn't wearing headphones"

PyGamer0

when was vyxal created

hyper-neutrino

at least 3 days ago

lyxal

@PyGamer0 depends on your definition of created

Aaron Miller

maybe even 4 days

but who can remember that far back

PyGamer0

@lyxal i mean when the first commit to the language

hyper-neutrino

13:03

:o

PyGamer0

not the gh org

hyper-neutrino

@PyGamer0 can't you just check the repo then

lyxal

@PyGamer0 some date in April 2020 probably

it could have been May

and dang it I forgot to celebrate 1 year since v0.0.0

it was a whole week and a year ago

github.com/Vyxal/Vyxal/releases/tag/v0.0.0

PyGamer0

@lyxal 2020 where is it on the esolang wiki

Aaron Miller

github.com/Vyxal/Vyxal/commit/…

lyxal

13:06

@PyGamer0 esolangs.org/wiki/Vyxal

But the idea for Vyxal was around before the repo and before this room

For when Vyxal was first originally thought of, you have to travel back to the 28th of February 2020 in a now frozen and deleted chatroom

chat.stackexchange.com/transcript/97278/2020/2/28

"BuT tHaT sAyS kEg V2.0 lAnGuAgE dEsIgN"

yes

I realise that

but Keg 2 led to Vyxal

hence why I say there's multiple start dates

The order was: original idea (28/2/2020), repo (2/4/2020), room (16/4/2020)

Aaron Miller

@lyxal I'm disappointed in you. You made the initial commit for Vyxal on April 2nd instead of April 1st. smh

!!/blame

Vyxal Bot

@AaronMiller It was lyxal's fault!

lyxal

@VyxalBot that could very well be true (it originally said AviFS)

PyGamer0

@VyxalBot lolwhy

lyxal

@VyxalBot oh nvm

PyGamer0

13:11

wait it changes automatically?

lyxal

@PyGamer0 it changes if you edit the command

!!/run `howdy`

Vyxal Bot

@lyxal howdy

lyxal

see

PyGamer0

oh

Aaron Miller

there we go

lyxal

13:12

12 times

PyGamer0

$$/howdy

Aaron Miller

just in time too

lyxal

12 times you edited that

wow

@AaronMiller it's funny that it originally blamed Avi...

because iirc, early April was around the time we were all exploring things like different esolangs and other calculi

we = me, 2x-1, Avi, HighlyRadioactive and a few other people

@AviFS do you remember all the different calculi like string calculus and pi calculus?

and what was the name of the brainfrick derivative you made?

because I can't remember lol

Aaron Miller

brainbox

oh wait you weren't talking to me lol

lyxal

it was called Muck

heh, those were the days that I learnt that caird is better at Minecraft pvp than I am

Aaron Miller

13:19

I wasn't around then, sounds fun though. I joined this last february

lyxal

in The Tarpit, Jul 9 '20 at 0:28, by AviFS

Muck is an inherently annoying lang family, but I'm actively working to make it enjoyable and interesting, since most BFs are just pointless. And I actually enjoy it a lot shockingly! This is coming from someone who never understood the BF craze, and never found it fun

you didn't miss much

just some discussions on parsing stuff

not much really happened in The Tarpit

The Tarpit's Silliness otoh...

now that was fun

The Tarpit's Silliness

oh boy

The alphabet with a funny suffix

Nov 10 '20 at 10:57, 3 minutes total – 26 messages, 1 user, 0 stars

Bookmarked Nov 10 '20 at 11:09 by lyxal

The establishment of trade routes between India and Africa

Jan 16 at 11:06, 8 minutes total – 16 messages, 2 users, 0 stars

Bookmarked Jan 16 at 11:16 by lyxal

long discussion here

Oct 17 '20 at 10:10, 52 minutes total – 110 messages, 3 users, 1 star

Bookmarked Oct 18 '20 at 0:59 by 2x-1

PyGamer0

@lyxal i dont have java :(

lyxal

@AaronMiller i.sstatic.net/1XN7o.png

that's from The Tarpit's Silliness

Aaron Miller

@lyxal What do you mean "funny suffix"? That's how I learned the alphabet :p

lyxal

in The Tarpit's Silliness, Jan 16 at 11:06, by Lyxal

Alright who wants to help me establish trade routes between India and Africa?

hilarious, I know.

Aaron Miller

13:36

Ascii characters + SCC = uh oh. Example: without trying it out, what do you think will be the output of `aλaλa`?

user

@lyxal I think it would be really nice, but I only see two ways to do it:

1) Pass around each global to each function
2) Pass around an object to each function, and that object holds all the globals

Vyxal Bot

13:52

ysthakur deleted branch Vyxal/cartesian-power

ysthakur deleted branch Vyxal/infinite-list-patch

hyper-neutrino

ah

did i forget to delete that lol

@lyxal is elements.txt complete?

as in does it at least mention everything that exists

Aaron Miller

14:11

@hyper-neutrino I would hope so, because that is where the stuff in elements.md automatically comes from, and that's where the descriptions come from for hovering over the characters in the on-screen keyboard.

hyper-neutrino

ah okay

well since new features are added constantly i'll need to update my tutorial page constantly anyway

actually

should i just parse elements.txt?

or should I do what I did for the JHT site and rewrite more helpful/descriptive documentation

yeah i think i'll still go ahead with the latter

Aaron Miller

cool

hyper-neutrino

is it by design that lambdas push backwards?

Aaron Miller

huh?

hyper-neutrino

14:26

!!/run 1 2 "

Vyxal Bot

@hyper-neutrino ⟨1|2⟩

hyper-neutrino

!!/run 1 2 λ2|";

Vyxal Bot

@hyper-neutrino ⟨2|1⟩

Aaron Miller

I don't know if it's by design, but it looks like the arguments work like inputs, so in the lambda one, it acts like if you gave it input of:
2
1

hyper-neutrino

hm okay

PyGamer0

14:42

!!/run 1+2

Vyxal Bot

@PyGamer0 2

PyGamer0

why

!!/run 1 2+

Vyxal Bot

@PyGamer0 3

hyper-neutrino

!!/run ⟨1|2|3⟩ ⟨4|5|6⟩ ƛ2|"; †

Vyxal Bot

@hyper-neutrino ⟨⟨0|0⟩|⟨0|0⟩|⟨0|0⟩⟩

hyper-neutrino

14:43

@AaronMiller do you know why this behaves this way?

PyGamer0

how to create a identity matrix

hyper-neutrino

@PyGamer0 Vyxal, 7 bytes: ɾ:1=vǓṘ (Try It Online!)

there is probably a shorter method

there is no built-in though so you will need to construct it somehow

PyGamer0

@hyper-neutrino you gave me localhost:5000 link

!!/run 2 ɾ:1=vǓṘ

Vyxal Bot

@PyGamer0 ⟨⟨1|0⟩|⟨0|1⟩⟩

hyper-neutrino

!!/run 5 ɾ:1=vǓṘ

Vyxal Bot

14:49

@hyper-neutrino ⟨⟨1|0|0|0|0⟩|⟨0|1|0|0|0⟩|⟨0|0|1|0|0⟩|⟨0|0|0|1|0⟩|⟨0|0|0|0|1⟩⟩

Aaron Miller

@hyper-neutrino I was really confused, then I figured it out. That's a map lambda. With a map lambda, specifying the arity doesn't do anything. So it's taking [4,5,6] and pairing it with itself, producing [[4,4],[5,5],[6,6]]. Also, since it's a map lambda, it gets mapped immediately and doesn't get pushed to the stack. As a result, † is acting as vectorized not, acting on [[4,4],[5,5],[6,6]], producing [[0,0],[0,0],[0,0]].

!!/run ⟨4|5|6⟩ ƛ"; †

Vyxal Bot

@AaronMiller ⟨⟨0|0⟩|⟨0|0⟩|⟨0|0⟩⟩

hyper-neutrino

wh

okay

thanks :p

i thought map lambdas could use an arity too

Aaron Miller

I would have assumed that they could, but it didn't seem to work when I tried it

!!/run ⟨1|2|3⟩ ⟨4|5|6⟩ ƛ2|";

Vyxal Bot

@AaronMiller ⟨⟨4|4⟩|⟨5|5⟩|⟨6|6⟩⟩

hyper-neutrino

14:57

lol. okay

thanks :p

Aaron Miller

oh, wait lol. I know why. Internally, map lambdas, filter lambdas, and sort lambdas are all just normal lambdas, but they have an extra command appended after them, namely map, filter, and sort. Those commands only take two arguments: the lambda and the thing to apply it to. so the arity does nothing in those cases.

!!/run ⟨1|2|3⟩ ⟨4|5|6⟩ λ2|"; M

Vyxal Bot

@AaronMiller ⟨⟨4|0⟩|⟨5|4⟩|⟨6|5⟩⟩

hyper-neutrino

oh

Aaron Miller

okay, apparently there's something else going on as well. .-.

hyper-neutrino

...

does M do neighborwise if given a dyad???

user

15:01

@VyxalBot wtf

Aaron Miller

no clue

Vyxal Bot

15:24

ysthakur created branch Vyxal/context-object from Vyxal/master

hyper-neutrino

naming elements is gonna be really pain

because they have like 4 completely different functionalities depending on type

wait i can just write each as a separate element

Aaron Miller

!!/issue **Character literals shouldn't get decompressed** When using \`\\` to make a character literal, if it is a non-ascii character, the interpreter attempts to decompress it, which returns an empty string since there is no second character to create a SCC. Obviously, you can use the \`D\` flag to combat this, but since a character literal can \*never\* be an SCC, it would make more sense to just make it not try to decompress it.

Example: [Try it Online!](https://lyxal.pythonanywhere.com?flags=&code=%5C%E2%82%B4q&inputs=&header=&footer=) `enhancement`

hyper-neutrino

F

Aaron Miller

!!/lol u good there my epic m8?

Vyxal Bot

@AaronMiller I am doing great.

Aaron Miller

15:33

F

hyper-neutrino

yeah uh

i scan for the resulting HTML

not the markdown control characters

Aaron Miller

oh yeah, I forgot that markdown doesn't work in multiline messages

i'll just submit it manually, but it's too late to delete it now

Vyxal Bot

AMiller42 opened issue #182 in Vyxal/Vyxal: Character literals shouldn't get decompressed

ysthakur opened issue #183 in Vyxal/Vyxal: Flatten should work with generators

hyper-neutrino

ooh i can implement that

user

Kinda wanted to do it myself, but go ahead :P

hyper-neutrino

15:45

well if you want to then sure :p

user

(If you're talking about flatten)

hyper-neutrino

i still have vyxapedia data entry to do so go ahead

Vyxal Bot

hyper-neutrino pushed a commit to vyxapedia/main: add a couple more built-ins (some dead links due to missing data entry for dagger)

Aaron Miller

16:41

!!/run k‛ kH

Vyxal Bot

[@AaronMiller: 58630041]
STDERR:
invalid literal for int() with base 16: '  '
Most recently popped arguments: ['  ']
Final stack: []

Aaron Miller

!!/run k‛ kH

Vyxal Bot

@AaronMiller Hello, World!

Aaron Miller

I've discovered something, but I'm not sure what or why or how

hyper-neutrino

uh oh

Aaron Miller

16:45

well, I figured out some of it. k looks to the next token to see what the combined diagraph is. The next token is the string, which gets pushed immediately. Then, the token after the string completes the k diagraph.

!!/run k`hello`FW

Vyxal Bot

@AaronMiller ⟨`hello`|`FizzBuzz`⟩

hyper-neutrino

what the fuck

why are digraphs not just implemented by like

having two characters in the lookup table

Aaron Miller

@VyxalBot there's a k, then it pushes hello, then the F completes the diagraph to mean the FizzBuzz builtin.

hyper-neutrino

and then just greedy matching elements when scanning tokens

Aaron Miller

@hyper-neutrino ¯\_(ツ)_/¯

at least it doesn't try to make a k"hello" diagraph

hyper-neutrino

16:47

vyxal cursed

no but it should try to do k`

Aaron Miller

the thing is, before transpilation, when it does the parsing, the very first thing it does is group the strings into their own tokens, that way you can have characters like | or ; in the strings with out the parser jumping into a meat grinder

hyper-neutrino

well sure that makes sense but like

Aaron Miller

but let's face it, the parser is going to jump into a meat grinder either way

hyper-neutrino

vyxal is simple enough to have a single one-pass lex stage

and then parse

now i want to rewrite the entire lex+parse section lmao

Aaron Miller

have fun

hyper-neutrino

16:50

but like

if i do that i will probably jump into a meat grinder

Aaron Miller

just make sure it doesn't do things like completely die whenever numbers and strings touch lol

because that happened: github.com/Vyxal/Vyxal/pull/61

hyper-neutrino

wtf lol

Aaron Miller

17:11

!!/issue Sandbox I wonder what happens is you issue an existing issue Who knows? kekw

Vyxal Bot

Vyxal-Bot opened issue #4 in Vyxal/Sandbox: I wonder what happens is you issue an existing issue

Aaron Miller

!!/issue Sandbox I wonder what happens is you issue an existing issue I guess now we know Astley

Vyxal Bot

Vyxal-Bot opened issue #5 in Vyxal/Sandbox: I wonder what happens is you issue an existing issue

Aaron Miller

!!/issue SandboxIsntReal Hmm, what if the repo doesn't exist? :thonk: Electric Boogaloo

Vyxal Bot

@AaronMiller failed to create the issue (404); make sure you have spelled the repository name correctly

Vyxal Bot

17:36

ysthakur pushed a commit to Vyxal/context-object: Try adding global context object

ysthakur created branch Vyxal/better-flatten from Vyxal/master

AviFS

18:17

@lyxal Also caird was big! And razetime and sporeball. Those were the good ol' days!

Yeah I've been meaning to clean up Muck and get it out there, but I never quite finished it and now I can't even read the code I wrote in it.

hyper-neutrino

lol

classic

user

@AviFS caird, Razetime, and sporeball were big?

AviFS

Definitely on my to-do list though, thanks for reminding me!

I mean that caird was another main frequenter of the Tarpit, so in that sense he was big

And raze + spore were there, too

I just had The Tarpit opened, and now it froze again : (

I thought it took a month to do that

But I guess it was just two weeks

hyper-neutrino

do you want it back?

it takes 14 days

AviFS

Sure, thanks! And Tarpit Silliness while you're at it, please. It sounds like that was popular!

But given that now we have Vyxal, it seems like that's the new Tarpit Siliness, haha

hyper-neutrino

18:24

aight done

just remember it's 14 days to freeze if you want to keep it open :p

Unrelated String

oh, 14 days? i've been getting nervous bumping this might be a room every 12 :P

hyper-neutrino

lol

it used to be 7

Unrelated String

18:45

lmao

Vyxal Bot

19:03

ysthakur pushed a commit to Vyxal/better-flatten: Implement deep_flatten

PR #184 (Vyxal/Vyxal) opened by ysthakur from Vyxal:better-flatten into Vyxal:master: Implement deep_flatten

PR #184 (Vyxal/Vyxal) was merged by ysthakur from Vyxal:better-flatten into Vyxal:master: Implement deep_flatten

ysthakur pushed a commit to Vyxal/master: Implement deep_flatten (#184)

user

Insert meme of Obama giving himself a medal :P

Vyxal Bot

Issue #183 (Vyxal/Vyxal) was closed by ysthakur

ysthakur deleted branch Vyxal/better-flatten

ysthakur created branch Vyxal/more-generators from Vyxal/master

hyper-neutrino

poggers

user

19:34

I'm making a family of Generators

Vyxal Bot

ysthakur pushed a commit to Vyxal/more-generators: Start on IterateGenerator

Aaron Miller

20:17

@user Did your better-flatten break my golf of A username's bf interpreter?

!!/run `abcdefg`f

Vyxal Bot

@AaronMiller ⟨`abcdefg`⟩

Aaron Miller

elements.txt: f (a: string) = list of characters of a

@Ausername It looks like this is why the golf broke

A username

20:42

Hm

Worse flatten then

Vyxal Bot

21:02

hyper-neutrino pushed a commit to vyxapedia/main: fix broken key combo and add a better one

hyper-neutrino

!!/issue two-byte string literals are completely broken just look at this: vyxapedia.hyper-neutrino.xyz/… bug

Vyxal Bot

Vyxal-Bot opened issue #185 in Vyxal/Vyxal: two-byte string literals are completely broken

Issue #185 (Vyxal/Vyxal) was edited by hyper-neutrino

user

@AaronMiller Sorry, I'll fix it later

Aaron Miller

21:21

Np, just glad I’m not going crazy

Vyxal Bot

hyper-neutrino pushed a commit to vyxapedia/main: fix incorrect row/col order in codepage

lyxal

23:18

Well

Frick

hyper-neutrino

kekw

lyxal

Everything is on fire

hyper-neutrino

you should also instate a rule that no pushing to master :p and review all the changes yourself

lyxal

That assumes that I don't introduce bugs myself

hyper-neutrino

kekw

lyxal

23:47

@hyper-neutrino v

!!/run ‛b"

Vyxal Bot

@lyxal b"

lyxal

Compared to

!!/run ‛b"

Vyxal Bot

@lyxal ⟨0|⟨⟨1|1|0|0|0|1|0⟩|⟨1|0|0|0|1|0⟩⟩⟩

lyxal

I know exactly why this happens

Line 138 of parse.py

Completely unrelated, but I just realised I could probably use itertools.tee for "duplicating" generators

hyper-neutrino

@lyxal wh-

what did you change

between your two commands

lyxal

23:59

Nothing

Oh between the two

The Tarpit's Silliness

The alphabet with a funny suffix

The establishment of trade routes between India and Africa

long discussion here

Transcript for